Package: libcoq-mathcomp-fingroup
Architecture: amd64
Version: 2.2.0-2build6
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: 8371
Provides: libcoq-mathcomp-fingroup-bomg7
Depends: libcoq-mathcomp-ssreflect (= 2.2.0-2build6), libcoq-hierarchy-builder-hjz07, libcoq-stdlib-dksn3
Breaks: libssreflect-coq (<= 2.2.0-2build6)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-fingroup_2.2.0-2build6_amd64.deb
Size: 2390976
MD5sum: 9f564ae7a7800a85784e5bbac739a828
SHA1: 1e03d60af2eab2c527ac3991b053290fdb60f769
SHA256: 3e3a61f56a2bf04e8e503c2b14a5e19ba1ba1db52b2d9089f58051bf911874b0
SHA512: 49ace9d13515143fbf079442e5975568f408cdfcb54d4f80a3a8049b448242eaee3c30bb7b281a3e781286b4eb37894bbfcfd144a411d6f7e514acb4f03399e1
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (finite groups)
Description-md5: a3c104270704751f92a4ae03a396fd7b