Package: libcoq-mathcomp-field
Architecture: amd64
Version: 2.2.0-2build6
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: 11352
Provides: libcoq-mathcomp-field-fkv40
Depends: libcoq-mathcomp-solvable (= 2.2.0-2build6), libcoq-hierarchy-builder-hjz07, libcoq-stdlib-dksn3
Breaks: libssreflect-coq (<= 2.2.0-2build6)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-field_2.2.0-2build6_amd64.deb
Size: 3635336
MD5sum: 875a95060708173dd8fc55591d39e722
SHA1: c91d9090cb686e102e1b846b8e6283afe8cdd00e
SHA256: 00fa74041669f97e7e04b09d34b8832ffb29a275e2f2566f1f559d93788d9bdc
SHA512: bb3fb77c73e2811b882a4bd3879cabc31b9361e678b49d9b91b5908a8220894140fbc1cdfa8019be4625b9afa3088960989d2d91a4e4516b85abeb90a75c09bd
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (field)
Description-md5: 552c63b45c57eb8f41189849920f0be9