Package: libcoq-mathcomp-ssreflect
Architecture: amd64
Version: 2.3.0-1build12
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: 33742
Provides: libcoq-mathcomp-ssreflect-wc9l9
Depends: libcoq-core-ocaml, libcoq-hierarchy-builder-jddc4, libcoq-stdlib-kgau6
Breaks: libssreflect-coq (<= 2.3.0-1build12)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-ssreflect_2.3.0-1build12_amd64.deb
Size: 9495180
MD5sum: 9acc42ffda1fcf19f9fb9f1a3a1cc298
SHA1: a94f6314033f8fd9ccf0572877164a07779b7951
SHA256: df9ac7a1ba44cb616f4e4c5e6206dd48f7990da45203a4613d3f76941e11f75a
SHA512: 007339082ad71ec36b31871ea0b5df5ddbce88f02be2c328f0a19432b04897653a648ea127dfe6a742589bfcf7516daf1baddff3b492c2c24e1a83d18643b523
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (small scale reflection)
Description-md5: 70fcad66ebe7043a2a943f9be8be4a05