Package: libcoq-mathcomp-character
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: 15304
Provides: libcoq-mathcomp-character-xykh8
Depends: libcoq-mathcomp-field (= 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-character_2.3.0-1build8_amd64.deb
Size: 4777724
MD5sum: a67975bbf408f552ccba41b9b54af63f
SHA1: 70dccc1e2237e6b23dcf5c93746c97232484192d
SHA256: 2f2228b2b7969951bba4da642f0f6febcc0c7dabd2292ab03c4e3f2e923f5b83
SHA512: 0efc82d49cfc7df2da78a0ca5e58dc9f205eacaf58bef0028134187d0c8988ef1c0ec784554c0963c1ad3a7faaebfc0c351accc77d3a439fddb3c7645a278c81
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (character)
Description-md5: b3a4f562c34593b33ba8ad962a117066