isbg <-> libmenhir-ocaml-dev

Version of isbg: 2.3.0-1

Architecture of isbg: all

Version of libmenhir-ocaml-dev: 20200123-3

Architecture of libmenhir-ocaml-dev: amd64

isbglibmenhir-ocaml-dev
sizefilenamehash functionsfilename
1 B./usr/lib/python3/dist-packages/isbg-2.3.0.egg-info/dependency_links.txt sha512./usr/lib/ocaml/coq-menhirlib/META
sha512./usr/lib/ocaml/menhir/META

Details about this service