Package: libssreflect-ocaml
Architecture: i386
Version: 1.6.1-3build1
Priority: optional
Section: universe/ocaml
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: 1743
Provides: libssreflect-ocaml-2iti5
Depends: libcoq-ocaml-6pjp3, ocaml-base-nox-4.05.0, libc6 (>= 2.1.3)
Enhances: coq
Filename: pool/universe/s/ssreflect/libssreflect-ocaml_1.6.1-3build1_i386.deb
Size: 348588
MD5sum: b233fe3b4aef58b50358235d5ebce561
SHA1: ffd7beabafccf24cbe606dd47e76051782c7913b
SHA256: 002e16ed474eeade0aa462489d1aa9a854b7f2b1c9f1cfdfc7b57408fb095d21
Homepage: https://math-comp.github.io/math-comp/
Description: small scale reflection extension for Coq (plugin)
Description-md5: c9d22fad0730ca0c68f6e78a2deb07fa