Version of libppx-base-ocaml-dev: 0.17.0-1+b12
Architecture of libppx-base-ocaml-dev: amd64
Version of libcoq-core-ocaml-dev: 9.2.0+dfsg-4
Architecture of libcoq-core-ocaml-dev: amd64
| libppx-base-ocaml-dev | libcoq-core-ocaml-dev | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 24 B | ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/ppx_base/ppx_base.ml | sha512 | ./usr/lib/x86_64-linux-gnu/ocaml/5.4.1/rocq-runtime/vm/coqrun.ml |