sha512 14054e816139f3d6b3ad63075a895936835c77e5d6368375fb87148d6b175cf6b9e3ad0bd5d48e392a8b0bd0fb7ec2fdaf42b09306f4ae85379b616e52fc2f80
package
filename
size
different function
agda-stdlib-doc
./usr/share/doc/agda-stdlib-doc/changelog.gz
7.7 KB
agda-stdlib
./usr/share/doc/agda-stdlib/changelog.gz
7.7 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