Package: libcoq-mathcomp-ssreflect
Architecture: amd64
Version: 2.1.0-1build4
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: 24574
Provides: libcoq-mathcomp-ssreflect-y5tl2
Depends: libcoq-core-ocaml, libcoq-hierarchy-builder-4bui3, libcoq-stdlib-eg0o0
Breaks: libssreflect-coq (<= 2.1.0-1build4)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-ssreflect_2.1.0-1build4_amd64.deb
Size: 6618966
MD5sum: 004900c814c2e04def25a65674b81f10
SHA1: 6e5337b51a240fc5326379fd5ff1d7020c71d913
SHA256: 563a63f0a12b2d40ca4c5bed0df5b778a009b6b1d95d4bd523edcea524fb3520
SHA512: 686a283d513b1e55769bc6b74e3f077ef1146a95eb510a0613cba5b7aa7f4517ef3f7229d04e1566b7cc25acb7ca51e9347196d3cb0b61c1903662df17811384
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (small scale reflection)
Description-md5: 70fcad66ebe7043a2a943f9be8be4a05