Package: libcoq-mathcomp-solvable
Architecture: amd64
Version: 2.1.0-1build4
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: 16711
Provides: libcoq-mathcomp-solvable-9o3w0
Depends: libcoq-mathcomp-algebra (= 2.1.0-1build4), libcoq-hierarchy-builder-4bui3, libcoq-stdlib-eg0o0
Breaks: libssreflect-coq (<= 2.1.0-1build4)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-solvable_2.1.0-1build4_amd64.deb
Size: 5236658
MD5sum: b1ea30942e828cd40dde5f62581fd7dc
SHA1: 3d3dfb4a13f05ea453ae8d94256fadb6376168f1
SHA256: 6f49b8b71faaeef102fbfdc8892a203474afe8a10397a2b7d0cae7b02326d86f
SHA512: d5df2151b1be1c3f9bd597394407ceb8600c6960a4cdeed90ac92e846d354b448e6e4bd15e0000639fcc0624f0966132cdb99d11b8cadd20fd56c5b13edb1ae5
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (finite groups II)
Description-md5: 1a7210a8e613050539efbce3f6024942