Package: libcoq-mathcomp-field
Architecture: amd64
Version: 2.3.0-1build8
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: 11765
Provides: libcoq-mathcomp-field-e82p1
Depends: libcoq-mathcomp-solvable (= 2.3.0-1build8), libcoq-hierarchy-builder-6dkl6, libcoq-stdlib-9imx0
Breaks: libssreflect-coq (<= 2.3.0-1build8)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-field_2.3.0-1build8_amd64.deb
Size: 3818616
MD5sum: 8ee3304d34c9a2df9e7a93c19d35ef57
SHA1: e11c87c79df66b826eb4b86aec74e9c1341143ba
SHA256: 1c134f679c71b6cc8504d793d0083deae95071186a4c66750dde70467a1a9e8a
SHA512: 1c8f76a52aa8c81287c318a106a76709ed1ffbfd2a8244345134a12b9759c78bdf0cab0b1e19caa616c602c3097b1e093cbd0f5e1ce8aa7216104eb2b1cfa497
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (field)
Description-md5: 552c63b45c57eb8f41189849920f0be9