Package: libcoq-mathcomp-ssreflect
Architecture: amd64
Version: 2.3.0-1build8
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: 33741
Provides: libcoq-mathcomp-ssreflect-rrbv4
Depends: libcoq-core-ocaml, libcoq-hierarchy-builder-6dkl6, libcoq-stdlib-9imx0
Breaks: libssreflect-coq (<= 2.3.0-1build8)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-ssreflect_2.3.0-1build8_amd64.deb
Size: 9503148
MD5sum: 8445d691f9796756cb9fcca888dc6d7f
SHA1: 8505ca1698b42dd79fa2fc53fe76b7a0e6c05371
SHA256: 92c82b8d246b46ae2a2853d0ff8197b880ff530806adb856c7f481585943862a
SHA512: c9d64fb889aeef710c5c068ebe877422159d82a9031d7a9ed29123dc256f288c838c5d7bfa44629393b7b04d695e2d788b746c15301d0d8533dadde8027316a5
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (small scale reflection)
Description-md5: 70fcad66ebe7043a2a943f9be8be4a05