Package: libcoq-stdlib
Architecture: amd64
Version: 8.20.1+dfsg-1
Priority: optional
Section: universe/math
Source: coq
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: 146164
Provides: coq-theories (= 8.20.1+dfsg-1), libcoq-stdlib-9imx0
Recommends: coq
Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1), coq-theories
Replaces: coq-libs (<< 8.2.pl1), coq-theories
Filename: pool/universe/c/coq/libcoq-stdlib_8.20.1+dfsg-1_amd64.deb
Size: 26972438
MD5sum: 6d8136b564d0b80931f071263d618ff2
SHA1: 50bf6a220a0f7b2ff03fef78a6e8a06a51d3ee23
SHA256: 226a1b6c61b24c569f612abb239f8b90fe775983e4c1b42e9af40bebb07d7f5c
SHA512: 75fc7b59201aab75ff054061fa19b65ef8ca37cc8552feadbf3654ea30d7ef982625b89dde17919e77dfd9e3c08be2ea0b525f3761dc2d8185c8c385ee1c2803
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (theories)
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e