Package: libcoq-mathcomp-fingroup
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: 8550
Provides: libcoq-mathcomp-fingroup-jjio0
Depends: libcoq-mathcomp-ssreflect (= 2.3.0-1build8), libcoq-hierarchy-builder-6dkl6, libcoq-stdlib-9imx0
Breaks: libssreflect-coq (<= 2.3.0-1build8)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-fingroup_2.3.0-1build8_amd64.deb
Size: 2546432
MD5sum: d77e57e5192ca78ca7cb8a46d97db1b9
SHA1: 95469c1e7f855f2a2cae88666b0e7af54817ebd5
SHA256: c780b5268f358fbd48a8d200d0acfc224069637d009c818a2e667460fdd17a3a
SHA512: fefe5a245ab1f7ae6b74ae1e929c345ea0f9bb162d837e05a2dde271ff6c7e3c557f169e1f498881ef4df25300c8b81123ce63b38bb33860991c75558b2eb89c
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (finite groups)
Description-md5: a3c104270704751f92a4ae03a396fd7b