Package: coq-serapi
Architecture: amd64
Version: 8.20.0+0.20.0-1build3
Priority: optional
Section: universe/ocaml
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 131321
Depends: libc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg)
Filename: pool/universe/c/coq-serapi/coq-serapi_8.20.0+0.20.0-1build3_amd64.deb
Size: 34730166
MD5sum: f62196ea9edb70fead91f7b05a7ddb3f
SHA1: 2299109c61a9e0f1d3c28ec447a48af3683abdaf
SHA256: 497d9639cafd417a322b64c9ad72f48003dd080fef07f5df610442ba568289db
SHA512: 77d4e2656c576722f7551f626c27b707f9f4c94106f52ef1781849b7104ac38a4f6fad110d5a41205dcf3d9d0e23732645fb4b8a19a590f4835f3c1073320c38
Homepage: https://github.com/ejgallego/coq-serapi
Description: interaction with Coq (utils)
Description-md5: b25a4df74299b4d6c658a474898f10ff