Package: libcoq-mathcomp-solvable
Architecture: amd64
Version: 2.3.0-1build8
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: 17117
Provides: libcoq-mathcomp-solvable-umuo5
Depends: libcoq-mathcomp-algebra (= 2.3.0-1build8), libcoq-hierarchy-builder-6dkl6, libcoq-stdlib-9imx0
Breaks: libssreflect-coq (<= 2.3.0-1build8)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-solvable_2.3.0-1build8_amd64.deb
Size: 5436810
MD5sum: d1403e9d8929d54c52eea3eb0f8ca43b
SHA1: 106a135474a8636ff327c08f8edffc8d194a614e
SHA256: 7c61bf19eb50954012b85160e33b3b34b75e4d687c66b17db5de6ada42002287
SHA512: a4ba32a7fa37f3f5541644e4cc9a8b9019ae375f6bfb5cf84cc6e93d384c8769994bc74d9ef419f6c6a57630aec35500d3668ff01f5bd2a6095f54f478929066
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (finite groups II)
Description-md5: 1a7210a8e613050539efbce3f6024942