Package: libcoq-corn
Source: coq-corn
Priority: optional
Section: universe/ocaml
Installed-Size: 59075
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 8.20.0-1build12
Provides: libcoq-corn-li0d4
Depends: libcoq-bignums-57pi5, libcoq-elpi-m4al6, libcoq-math-classes-ctil8, libcoq-stdlib-83lq0
Filename: pool/universe/c/coq-corn/libcoq-corn_8.20.0-1build12_amd64.deb
Size: 15146562
MD5sum: c3938bd60cb92d289d579858db582878
SHA1: ae0c5f2c716b2e6fb14438d2b503d0fe980d0a26
SHA256: a664b0db5df115ecf930fe8959120d7001402993aa8d16e1215d82c62bd46784
SHA512: d22564ce456e338b12e6b5365a7b702aea4c09dd78beaaf399b17020936d72c3d29abbcbb342f951970fa75d3f1314050698454870375a4b1bae34c7067de6fb
Homepage: https://github.com/coq-community/corn
Description: Coq Constructive Repository at Nijmegen
Description-md5: e62e6148cb4c314fe0a66a4f46cbab40
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug