sha512 752b2dfc09ea08531590174700ac33212070cb4015ed0840cbed76611d8d1e3418579c28592698b9ce4fe5c914ad7076fe8a0257d518bb57ecdcadeb9c69e6ab
package
filename
size
different function
libcoq-aac-tactics
./usr/share/doc/libcoq-aac-tactics/theories/coqdoc.css
6.0 KB
coq
./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/rocq-runtime/tools/coqdoc/coqdoc.css
6.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