Package: libcoq-mathcomp-character
Architecture: amd64
Version: 2.1.0-1build4
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: 13975
Provides: libcoq-mathcomp-character-acbb4
Depends: libcoq-mathcomp-field (= 2.1.0-1build4), libcoq-hierarchy-builder-4bui3, libcoq-stdlib-eg0o0
Breaks: libssreflect-coq (<= 2.1.0-1build4)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-character_2.1.0-1build4_amd64.deb
Size: 4414592
MD5sum: ae4c975ce03dd538b10bb053cd8cbb7d
SHA1: b00d82fbdca06286c4bbedc652810006944ccab9
SHA256: badc83b2b563e85d8169a87dd4e7c94f954564c9338957792f0e28487a8713d2
SHA512: 5c9e60e14728fafd52f089bc79b79d08ac3717dac0d55b3d0addda264abf693625832a9e371eeb6b772da46c2d4800e7edd5792495f80194278d2863dccda70b
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (character)
Description-md5: b3a4f562c34593b33ba8ad962a117066