gzip_sha512 a07afbf8aa50fb61d5257dfe70c23f4037542ec372b07abf2fc9489deacc7ecf4cd1a930fb69b4b04cc86c6e363079fb5b28b59a0efcab878176f6514b7f1e10
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