Package: libcoq-mathcomp-fingroup
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: 7897
Provides: libcoq-mathcomp-fingroup-5g6n4
Depends: libcoq-mathcomp-ssreflect (= 2.1.0-1build4), libcoq-hierarchy-builder-4bui3, libcoq-stdlib-eg0o0
Breaks: libssreflect-coq (<= 2.1.0-1build4)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-fingroup_2.1.0-1build4_amd64.deb
Size: 2233086
MD5sum: 33b41e40f955a232c2d03923f029466b
SHA1: 7a8b64c308063a9d3aafe44b8b9d601dc26b4e93
SHA256: 7686f716ded1ef8a6dd8b59495e3b0b0c58965a01f82c41f31521ee26c49d9ba
SHA512: bae51df444f1bba2f34ffd86962dde4e2e8352ba5834985f7330f2c9ebc4e0600ed1c38621aebe58f8a297f5727460cbb679ff12207f85760f50e69eb55f1cd7
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (finite groups)
Description-md5: a3c104270704751f92a4ae03a396fd7b