Package: libcoq-corn
Architecture: amd64
Version: 8.19.0+ds1-1build5
Priority: optional
Section: universe/ocaml
Source: coq-corn
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: 71181
Provides: libcoq-corn-xi9h2
Depends: libcoq-bignums-baxl6, libcoq-math-classes-f10c9, libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-corn/libcoq-corn_8.19.0+ds1-1build5_amd64.deb
Size: 15246062
MD5sum: f0a96ffd08dff67e84ec1b25594783a0
SHA1: b5449100dd78d1f6045ddc82f9c1ee990a491bdf
SHA256: 890338cd7ceffd326367acb022e7fc56e148f6608631c7656653c4167039715d
SHA512: 09c58cbb98d528048fa7dfd3b2b5a2e2dc3273dfc40df69a894e4d8da636f1f0f7a2f09ac5807ed71dbebed6871ea36e172b423639bac738db230faa354309f1
Homepage: https://github.com/coq-community/corn
Description: Coq Constructive Repository at Nijmegen
Description-md5: ec8ab190706127a80e7654195179d6fa