sha512 653835c77d83dace6808fdea31459a05f193decebc3c0299c533b608541913096c310562c4c8abb2addd3ad3e84fa3f10ff8ea034e579eaf4c208fa72edca68b
package
filename
size
different function
agda-stdlib-doc
./usr/share/doc/agda-stdlib-doc/copyright
2.0 KB
agda-stdlib
./usr/share/doc/agda-stdlib/copyright
2.0 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