sha512 0ddad9133b00af56c64f7a05a62be557ccb5e385422f028c37d2c23170a1e237badf5d7505d02b4d2718b1c020ec98f4ff4c39b194fc0c7489eefcf11fc90555
package
filename
size
different function
libcoq-core-ocaml
./usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-core/META
13.2 KB
libcoq-core-ocaml-dev
./var/lib/ocaml/lintian/libcoq-core-ocaml-dev.META.coq-core
13.2 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