gzip_sha512 d8b8ab440a06fcac63bda0b187cc2d61e683e019bb1e4a288f4c0d60664c00b7cc5405c0a4c93614af89e986f5a911b3c3ae3eb1141012cf91b32bee4904db20
package
filename
size
different function
proofgeneral
./usr/share/doc/proofgeneral/changelog.gz
11.0 KB
proofgeneral-doc
./usr/share/doc/proofgeneral-doc/changelog.gz
11.0 KB
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