Package: libssreflect-coq
Architecture: all
Version: 1.6.1-3build1
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: 138793
Provides: libmathcomp-coq, ssreflect
Depends: libssreflect-ocaml (>= 1.6.1-3build1), coq-8.6+4.05.0
Filename: pool/universe/s/ssreflect/libssreflect-coq_1.6.1-3build1_all.deb
Size: 24199944
MD5sum: 8a4cf4fc64df838fed5126f3f4d9ceb0
SHA1: 5044b7d4612eeb1322c2a98561d241cb9b10c30e
SHA256: 4726f6062f2061503f0c28a7c5e62447bbc5ecd4624f35245d32467f7678ccf9
Homepage: https://math-comp.github.io/math-comp/
Description: small scale reflection library for Coq (theories)
Description-md5: 74d4d104ee525bf420f0bd1f3db04e5c