Package: libcoq-mathcomp-solvable
Source: ssreflect
Priority: optional
Section: universe/math
Installed-Size: 14376
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.6.0-3build2
Provides: libcoq-mathcomp-solvable-8yqw4
Depends: libcoq-mathcomp-algebra (= 2.6.0-3build2), libcoq-hierarchy-builder-j6yd2, libcoq-micromega-plugin-gxpl0, libcoq-stdlib-7wto0
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-solvable_2.6.0-3build2_amd64.deb
Size: 5645190
SHA512: 4643c554c53aba99b2ee6c03187e467b28577dd2b0e70caec3d27856164010b234a6cf7927c93b576ca4c02a61dd73d312776e223dc733fdf61c8d0abb5498be
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