Package: libcoq-mathcomp-ssreflect
Source: ssreflect
Priority: optional
Section: universe/math
Installed-Size: 33723
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.3.0-1build19
Replaces: libssreflect-coq
Provides: libcoq-mathcomp-ssreflect-ak300
Depends: libcoq-core-ocaml, libcoq-hierarchy-builder-trjw2, libcoq-stdlib-83lq0
Breaks: libssreflect-coq (<= 2.3.0-1build19)
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-ssreflect_2.3.0-1build19_amd64.deb
Size: 9491636
MD5sum: a6b7b01089b71a6db28b30b426566bef
SHA1: 3b6f31da9ec41489f681414a7e3ba7d5e0c10530
SHA256: 012f2ef4e1d3cd5a597d5c86dc712cd93435493fc84e793e738efbb353ffbaa7
SHA512: cc8d1def73feec716883ca4f9cbef5e9e0d07a3c827019c15c9abdf56b6bfbff69b3a85acae09700218d9630f18e018545da31fb8f377d50de97dc2872003da6
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (small scale reflection)
Description-md5: 70fcad66ebe7043a2a943f9be8be4a05
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug