Package: libcoq-mathcomp-field
Source: ssreflect
Priority: optional
Section: universe/math
Installed-Size: 11765
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.3.0-1build19
Replaces: libssreflect-coq
Provides: libcoq-mathcomp-field-xshv6
Depends: libcoq-mathcomp-solvable (= 2.3.0-1build19), libcoq-hierarchy-builder-trjw2, libcoq-stdlib-83lq0
Breaks: libssreflect-coq (<= 2.3.0-1build19)
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-field_2.3.0-1build19_amd64.deb
Size: 3814248
MD5sum: 5a47a3bafa5195e0127b17a1ad029fdd
SHA1: f9c03ba41bf49de23c1c7486c70e2cdc1da34cfb
SHA256: 3b54855bf62e9bbefcf8b705b75fb7c9a7daa46635f5e8d28ba9de8afcb3f17b
SHA512: 70df7309aed85cf14d2b1d9c357ead203b4d978493a38015989e178f06f3684bdc2c270359b58826e336e58ecc2eaaf1afcddb3a6ee78e161bda96d7fc53884b
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