sha512 2b1dc50febdd721786223acbaa435fbc817742e5a13a0f211bd9e65b919b1b2a974e4a3a2e5178bac67cb669c3e14600b0c3a78e1b2e165a9a38351c315e235a
package
filename
size
different function
why3-doc-pdf
./usr/share/doc/why3-doc-pdf/NEWS.Debian.gz
155 B
why3-examples
./usr/share/doc/why3-examples/NEWS.Debian.gz
155 B
why3-doc-html
./usr/share/doc/why3-doc-html/NEWS.Debian.gz
155 B
Details about this service
More information:
see wiki
Maintainer: Helmut Grohne <helmut@subdivi.de>
Source: git://git.subdivi.de/~helmut/debian-dedup.git
Bugs reports / Feedback / Patches: to the maintainer