Package: libcoq-serapi-ocaml-dev
Architecture: amd64
Version: 8.20.0+0.20.0-1build3
Priority: optional
Section: universe/ocaml
Source: coq-serapi
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: 36428
Provides: libcoq-serapi-ocaml-dev-oaf63
Depends: coq-8.20.1+5.3.0, libcoq-ocaml, libcoq-serapi-ocaml (= 8.20.0+0.20.0-1build3)
Filename: pool/universe/c/coq-serapi/libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_amd64.deb
Size: 17569534
MD5sum: c167e432c1de0affe9a70a1fe0ef2f6f
SHA1: 8d9034d283223c1887fdb525485f5f146310d663
SHA256: 406abeb7c4eeb5ff711e99439c9bd7b5004dacae22fb06122992cc01067cf2d4
SHA512: ba1f317fe20ea951ca025ce86a13536595f8684e5d02803266f5f5357f39a3704f8749970d60ac183a98d7501aa712cbc1e90947f5e24481178b9519bbeb32df
Homepage: https://github.com/ejgallego/coq-serapi
Description: interaction with Coq (devel)
Description-md5: 219cc78f3d9c97bf9ddd16d94f92b4fd