gzip_sha512 8f85c53ff0d7a5a165cff7e3dd9be26456ab6567f73b3b62bf9b525435c1b219fcfa9c0a405c30cab33f01299585b1ea9853abca3dfbe084b5cf0a5e0e0c5c0c
package
filename
size
different function
agda-bin
./usr/share/doc/agda-bin/changelog.Debian.amd64.gz
242 B
libghc-agda-dev
./usr/share/doc/libghc-agda-dev/changelog.Debian.amd64.gz
242 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