Package: libcoq-mathcomp-field
Architecture: amd64
Version: 2.1.0-1build4
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: 10960
Provides: libcoq-mathcomp-field-p0n73
Depends: libcoq-mathcomp-solvable (= 2.1.0-1build4), libcoq-hierarchy-builder-4bui3, libcoq-stdlib-eg0o0
Breaks: libssreflect-coq (<= 2.1.0-1build4)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-field_2.1.0-1build4_amd64.deb
Size: 3394214
MD5sum: f086a01c2057917faf67644b5ff1522d
SHA1: 14230b25f6ac84c955f48d9f3343d9d2e56a6fb7
SHA256: a444c528eb9dbcdb450d48fb0e33f66e997c1cf9ed8f0e821eefe16ed6a66211
SHA512: 9d32a11b67d8979ac5d138e13cbb1ee7ad03fba78ff6756c8ebfdfe8bdbe32264fce21259f96375ca3b0d77b868266f2bfb9fdef8cc27183832cc196a2a054c4
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (field)
Description-md5: 552c63b45c57eb8f41189849920f0be9