sha512 d32f9e4a698243b7c3f06c199fe232bc5e9faa2cab16f06066fb5807a30c5ab78d0abbbcc851982e2a9cb164673056701bbb81b3924a0a87d5ca866096f37803
package
filename
size
different function
agda-stdlib-doc
./usr/share/doc/agda-stdlib/html/Agda.css
1.8 KB
libghc-agda-dev
./usr/share/libghc-agda-dev/html/Agda.css
1.8 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