Package: libcoq-mathcomp-field
Architecture: all
Version: 1.14.0-7
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: 9491
Depends: libcoq-mathcomp-solvable (= 1.14.0-7)
Breaks: libssreflect-coq (<= 1.14.0-7)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-field_1.14.0-7_all.deb
Size: 3177868
MD5sum: 371e80774e24c2346c1d35b8f062bf52
SHA1: 5905d8a6ef3f00e545fcabb6b95b2ee1d0b53d89
SHA256: 4ae3549ad27b6466cf10d80814dbe13478d682dedb2f6e4f89e4fc6ec6434139
SHA512: 45f6cd1feb6a6b63d20611b2a1dab221c77dc3c494f8c0b084835f1760f55e5bbfff0b5223f6fc00218963abda43ecb2f69fdaaa5b25d08dee56560a8205cc54
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (field)
Description-md5: 552c63b45c57eb8f41189849920f0be9