sha512 eaca9f46ce29835ab5ad4b0b60c21d986557d7d52057620fca62affb720d1eb66282aabb1222863da34cc2e0354735c90ad33cacade714f1e4d2d0709d95a66c
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