Package: libcoq-mathcomp-character
Source: ssreflect
Priority: optional
Section: universe/math
Installed-Size: 15303
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 2.3.0-1build19
Replaces: libssreflect-coq
Provides: libcoq-mathcomp-character-2rh99
Depends: libcoq-mathcomp-field (= 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-character_2.3.0-1build19_amd64.deb
Size: 4774092
MD5sum: 1a2c82dfd1a4461fa55695c1295a1a08
SHA1: 78db4a13e012190e7d244baee0a4e66e79d84e64
SHA256: 6f2f63e686e2c70595358c8240a263f17832a2ac79aefcf3af2194b057c1fbcb
SHA512: 035a61a6c85063626360c3ea23127d46cd48b4316c0cb6c87ca1a79d9388ec67a1fc3c8c2462d79b4d412ab4b843b76df5b2521ea8f6f6dbbea81785591fdaba
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (character)
Description-md5: b3a4f562c34593b33ba8ad962a117066
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug