Package: libcoq-mathcomp
Architecture: amd64
Version: 2.2.0-2build6
Priority: optional
Section: universe/math
Source: ssreflect
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: 97506
Provides: libmathcomp-coq, libssreflect-coq, ssreflect
Depends: libcoq-mathcomp-algebra (= 2.2.0-2build6), libcoq-mathcomp-character (= 2.2.0-2build6), libcoq-mathcomp-field (= 2.2.0-2build6), libcoq-mathcomp-fingroup (= 2.2.0-2build6), libcoq-mathcomp-solvable (= 2.2.0-2build6), libcoq-mathcomp-ssreflect (= 2.2.0-2build6)
Breaks: libssreflect-coq (<= 2.2.0-2build6)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp_2.2.0-2build6_amd64.deb
Size: 2452006
MD5sum: b05e555d58b5c95944854fa7e4346647
SHA1: 122825c263046dbe5d6c4b8c99c5341755b413ea
SHA256: 4b907bd4bbcd9aafc76e587a15f4f08ad77dbaff06c2877ee90a4bafdaa33ec4
SHA512: 1fae8b37c53bfa4a0c417ac3fd2f4b294056f9b02fba41bd5e01218c13a6e9356b6d42c1ec51e54898eb39fccf4bfdb09ad11f023e85dae2159ea95d2f6b6051
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (all)
Description-md5: bd26831f634ff58fc6c73937049fe58a