Package: libcoq-mathcomp-ssreflect
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: 25408
Provides: libcoq-mathcomp-ssreflect-uyii6
Depends: libcoq-core-ocaml, libcoq-hierarchy-builder-hjz07, libcoq-stdlib-dksn3
Breaks: libssreflect-coq (<= 2.2.0-2build6)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-ssreflect_2.2.0-2build6_amd64.deb
Size: 6871330
MD5sum: dce8017c44f471c052bd2339e54a0c41
SHA1: 2f6ec447971be5465bb3419860d4f1a2d4b47a7e
SHA256: a241c778aaa4f4b55d686b476cc4ffba966f89f6913ac6793e739c663fcc6d99
SHA512: 78e861f97fb8c91865ffff5f6a82ec6589a0b99a1d89b087e77a6d38858ac9d79919aae718ab6969d8e677d3b2840623c70eb6e82a69e1da59f941a8f3964323
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (small scale reflection)
Description-md5: 70fcad66ebe7043a2a943f9be8be4a05