Version of libbin-prot-ocaml-dev: 1:0.17.0-2+b8
Architecture of libbin-prot-ocaml-dev: amd64
Version of libcoq-core-ocaml-dev: 8.20.1+dfsg-1+b3
Architecture of libcoq-core-ocaml-dev: amd64
| libbin-prot-ocaml-dev | libcoq-core-ocaml-dev | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 24 B | ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/bin_prot/xen/bin_prot_xen.ml | sha512 | ./usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq-core/vm/coqrun.ml |