Package: libcoq-mathcomp-fingroup
Architecture: amd64
Version: 2.3.0-1build12
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: 8551
Provides: libcoq-mathcomp-fingroup-pu2h0
Depends: libcoq-mathcomp-ssreflect (= 2.3.0-1build12), libcoq-hierarchy-builder-jddc4, libcoq-stdlib-kgau6
Breaks: libssreflect-coq (<= 2.3.0-1build12)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-fingroup_2.3.0-1build12_amd64.deb
Size: 2543374
MD5sum: 9e49843c239b0880ed2c5bd3b28c81d5
SHA1: 0aeca14785bf6f09ae9109c9e663efa2b6473c62
SHA256: ac5ace66e5f30a7261426ad4ddc869bfb9f7773ea66182dcc802614f0152a1e9
SHA512: 6d46448c5e097d2fa2b6c08e40b7d30c48d28c760d0b7d35d80d2490759dfd53bb38ee5897006ab29755944dc1a43a385dbaa4f2ef4ebdba476a3ac2c0be91e0
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (finite groups)
Description-md5: a3c104270704751f92a4ae03a396fd7b