Package: libcoq-mathcomp-ssreflect
Architecture: all
Version: 1.14.0-7
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: 16894
Depends: libcoq-core-ocaml, coq-8.15.0+4.13.1
Breaks: libssreflect-coq (<= 1.14.0-7)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-ssreflect_1.14.0-7_all.deb
Size: 4699482
MD5sum: 21f9af36e549a945297b4908e41b3ac8
SHA1: 42341f4d147c03c398329ca776066832433d2e54
SHA256: 28d6bc02f437f3d674a32c6242f74f819407a95bdbc273c74e289cac5c6d59c0
SHA512: 0710fc5a4a62e5e0992ec07b748d51e20ddd588b7d931fecacfa9ed533b9e36ad317f47fdad9681ce36e3ca36b942448bf706d1fe2fe87aa4a67742dc7fd72b4
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (small scale reflection)
Description-md5: 70fcad66ebe7043a2a943f9be8be4a05