sha512 2e260981115c3bc836b55b079bb0cbff31f1c2c545cd151867532e8e82fd633b850aab3d959d7396d093c485dbbb9bf44c12821cfc9d351539c382def37f6341
package
filename
size
different function
agda
./usr/share/doc/agda/buildinfo_all.gz
7.7 KB
elpa-agda2-mode
./usr/share/doc/elpa-agda2-mode/buildinfo_all.gz
7.7 KB
libghc-agda-doc
./usr/share/doc/libghc-agda-doc/buildinfo_all.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