Package: libcoq-mathcomp-solvable
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: 17118
Provides: libcoq-mathcomp-solvable-shg93
Depends: libcoq-mathcomp-algebra (= 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-solvable_2.3.0-1build12_amd64.deb
Size: 5434688
MD5sum: 5bc9312b921407f2e5fadb9c0d06acc2
SHA1: 545511d96957b34b6985c4b6a317e942d8cd89c8
SHA256: c7f5392c94c10e58cb81e2889f672c22f791fa541816dc4278da5f084f3e6181
SHA512: c0732e0c4b48fcc530b276747b6ad1b032482e9bf5ff6f671448a2e62bd67cef32605daa6e5a103af5d3ced8c59fe3d74a0fe02a6744dc898f0289d6736a8f7e
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (finite groups II)
Description-md5: 1a7210a8e613050539efbce3f6024942