/usr/share/doc/libdds-dev/README.Debian is in libdds-dev 2.5.2+ddd105-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | dds for Debian
--------------
This package is a composition of three zip files, the dds double dummy solver
library, the ddd double dummy driver (frontend), and the pydds python
extension. As there is already a ddd package in Debian (the gdb frontend) both
the ddd binary and the package were renamed to dds.
There is no shared library yet as the API/ABI is likely to change again.
pydds was patched to also accept target, solutions, and mode as parameters in
addition to trump and first. Users might want to read the API documentation in
the libdds-dev package.
-- Christoph Berg <myon@debian.org> Thu, 25 Jan 2007 13:09:48 +0100
|