Package: libcoq-mathcomp-solvable
Source: ssreflect
Priority: optional
Section: universe/math
Installed-Size: 17117
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.3.0-1build19
Replaces: libssreflect-coq
Provides: libcoq-mathcomp-solvable-qvx59
Depends: libcoq-mathcomp-algebra (= 2.3.0-1build19), libcoq-hierarchy-builder-trjw2, libcoq-stdlib-83lq0
Breaks: libssreflect-coq (<= 2.3.0-1build19)
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-solvable_2.3.0-1build19_amd64.deb
Size: 5434710
MD5sum: bb7c7d7d8243de806b8ca7d37a387a13
SHA1: e3c659a84e825e0af236ab81a4128c5556d96a2f
SHA256: a5acf6a953b105fd31d2650fc171924fe178c05049fdecc85961e4edf69fff02
SHA512: 085f613070dca0bbdba1f9ec922fa2956aba7e95a0e12b1b12a1b50388ad0442578334861c345490280d2dbb1dd4330ee0dbf53e767cf3180a5ff09597f29094
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (finite groups II)
Description-md5: 1a7210a8e613050539efbce3f6024942
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug