Package: libcoq-mathcomp-character
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: 15042
Provides: libcoq-mathcomp-character-zc7h5
Depends: libcoq-mathcomp-field (= 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-character_2.2.0-2build6_amd64.deb
Size: 4681888
MD5sum: 1a980064a0520040562f3bf98ce4cc4d
SHA1: 5f18431f349ae7707df049036baa15c0a6c126fb
SHA256: 37fc34ccfe87f065009ee085d9f218bb5d8508aa23934bba9d335c8d59d34e76
SHA512: c49ea5e391c26c35b61b8b7c832c9cb2b4a12e7b0d6dfe11d11d8c77a8f29d50abbffe4db0dc648390c1842d980986549c3b7c3c345be29991ff3b43cd327525
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (character)
Description-md5: b3a4f562c34593b33ba8ad962a117066