gzip_sha512 3d85a7f1bf9fa86cfcd5e069b3378c1e68d1eedbd63facefb84646a0c91c50ea128a24e8428e475d8e9685328f2e6c99beb553f0dc71888ac133bd83de2445c0
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