sha512 333fb3de35c01dc36d9ab3ea26c0b3f553229caf05ab6e32b5e3f074d6490088decacec2a18f21bb38a6074c9c0b5c4c499392a4f46592ebe114ccd78f89febb
package
filename
size
different function
proofgeneral
./usr/share/doc/proofgeneral/copyright
21.5 KB
proofgeneral-doc
./usr/share/doc/proofgeneral-doc/copyright
21.5 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