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