Package: libcoq-mathcomp-finite-group
Source: ssreflect
Priority: optional
Section: universe/math
Installed-Size: 7617
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.6.0-3build2
Replaces: libcoq-mathcomp-fingroup
Provides: libcoq-mathcomp-finite-group-rije1
Depends: libcoq-mathcomp-boot (= 2.6.0-3build2), libcoq-hierarchy-builder-j6yd2, libcoq-micromega-plugin-gxpl0, libcoq-stdlib-7wto0
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-finite-group_2.6.0-3build2_amd64.deb
Size: 2731468
SHA512: 42de81f6f1b9ef988c0473ef4acfd8646e0abcf86a1696e22d7dcfd61cb87c23608573122540f7ad8f58d817a2217dfa88982d72a27ef648d118873acf523630
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