Package: libcoq-mathcomp-field
Source: ssreflect
Priority: optional
Section: universe/math
Installed-Size: 13554
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.6.0-3build2
Provides: libcoq-mathcomp-field-x5d28
Depends: libcoq-mathcomp-solvable (= 2.6.0-3build2), libcoq-hierarchy-builder-j6yd2, libcoq-micromega-plugin-gxpl0, libcoq-stdlib-7wto0
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-field_2.6.0-3build2_amd64.deb
Size: 5167182
SHA512: 94378d339fdf13fa385ab9e0972b96e2a72a421e50544557f76fb3268efb991667c2c6ba145bb9460100eca989e2aadded5a103ce64fb49023e20a38e73e5aaa
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (field)
Description-md5: 552c63b45c57eb8f41189849920f0be9
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug