gzip_sha512 be4fe8dc276d0ef0b46db756aa9ecbd912deda066cb7380e62148aec5dfbcd464f8df90924a5a8095e99203f7e1f13a1d45c29c3e3da6c73983d99abbe45d641
package
filename
size
different function
coqide
./usr/share/doc/coqide/README.md.gz
1.9 KB
libcoq-stdlib
./usr/share/doc/libcoq-stdlib/README.md.gz
1.9 KB
coq
./usr/share/doc/coq/README.md.gz
1.9 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