Package: libcoq-mathcomp-character
Architecture: amd64
Version: 2.3.0-1build12
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: 15305
Provides: libcoq-mathcomp-character-2pco9
Depends: libcoq-mathcomp-field (= 2.3.0-1build12), libcoq-hierarchy-builder-jddc4, libcoq-stdlib-kgau6
Breaks: libssreflect-coq (<= 2.3.0-1build12)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-character_2.3.0-1build12_amd64.deb
Size: 4773488
MD5sum: d582ecaa07c73b96994cf51c7f98e1f6
SHA1: 34c8e1159418218fe8b20ce5ebd5edb9e47c2de5
SHA256: 09ff30d17b4f3b0a8d38bfea3cdf84a0aa4df540afd186a3c441d68d93420bb8
SHA512: be8c164533aa2a6952cfc4645aae39d7d792f69eaa0dd1158e62df396d0c800694ba918ef5128f04f46b342bc5b1370574b4c32c8a9672085922267f8055f140
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (character)
Description-md5: b3a4f562c34593b33ba8ad962a117066