Package: libcoq-mathcomp-group-representation
Source: ssreflect
Priority: optional
Section: universe/math
Installed-Size: 14491
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.6.0-3build2
Replaces: libcoq-mathcomp-group
Provides: libcoq-mathcomp-group-representation-eocb4
Depends: libcoq-mathcomp-field (= 2.6.0-3build2), libcoq-hierarchy-builder-j6yd2, libcoq-micromega-plugin-gxpl0, libcoq-stdlib-7wto0
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-group-representation_2.6.0-3build2_amd64.deb
Size: 5274342
SHA512: 7adce026647f4013b3577f03ddbb317dbf431b39cfade5445a6e273fd87b6b904f29b02f68b411c95c42aa8a69a0ca1b0542cd447036f7e1783eb6648b2fe50e
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (group representation)
Description-md5: 743190ca07ac268811e6746010f9606f
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug