Package: libssreflect-coq
Architecture: all
Version: 1.10.0+dfsg-2
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: 147122
Provides: libmathcomp-coq, ssreflect
Depends: libcoq-ocaml, coq-8.11.0+4.08.1
Filename: pool/universe/s/ssreflect/libssreflect-coq_1.10.0+dfsg-2_all.deb
Size: 25950760
MD5sum: 1264922ebe0ad1737d07a8f19498a6ff
SHA1: e02aec79a1f03ff57b9347bbeec5cfc7e5830804
SHA256: b440c456cb54fa229e7fd9a3dc354006c969ad31142f582f8c1e3a9256a9dbe1
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq
Description-md5: 5e372e261cbf7d4b3305676ff6b2dc63