Package: libcoq-mathcomp-fingroup
Source: ssreflect
Priority: optional
Section: universe/math
Installed-Size: 8551
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.3.0-1build19
Replaces: libssreflect-coq
Provides: libcoq-mathcomp-fingroup-2sga4
Depends: libcoq-mathcomp-ssreflect (= 2.3.0-1build19), libcoq-hierarchy-builder-trjw2, libcoq-stdlib-83lq0
Breaks: libssreflect-coq (<= 2.3.0-1build19)
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-fingroup_2.3.0-1build19_amd64.deb
Size: 2543384
MD5sum: ef289cf364bdb51eefd5a66338db1dda
SHA1: 0b10dccf6f29937c04949dcd3b24d2bf603fe794
SHA256: da70e152e8b55aa627748b862607bd03534fe702c3bc0f98f562ad00658f3e9c
SHA512: 142a13438ceec21e4c79347982cb9ce0ae5ab5ae4908a917c370f12de0c1a91bc7a82797e77b37d947c3750650a08f05a8ec837a54170b47e32e27dd3a718110
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (finite groups)
Description-md5: a3c104270704751f92a4ae03a396fd7b
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug