pyhoca-cli <-> libmenhir-ocaml-dev

Version of pyhoca-cli: 0.6.1.2-2

Architecture of pyhoca-cli: all

Version of libmenhir-ocaml-dev: 20200123-3

Architecture of libmenhir-ocaml-dev: amd64

pyhoca-clilibmenhir-ocaml-dev
sizefilenamehash functionsfilename
1 B./usr/lib/python3/dist-packages/PyHoca_CLI-0.6.1.2.egg-info/dependency_links.txt sha512./usr/lib/ocaml/coq-menhirlib/META
sha512./usr/lib/ocaml/menhir/META

Details about this service