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