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