Package: libssreflect-ocaml
Priority: extra
Section: universe/math
Installed-Size: 2187
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: i386
Source: ssreflect
Version: 1.5-3build1
Provides: libssreflect-ocaml-qb0f9
Depends: libcoq-ocaml-68030, ocaml-base-nox-4.02.3, libc6 (>= 2.1.3)
Filename: pool/universe/s/ssreflect/libssreflect-ocaml_1.5-3build1_i386.deb
Size: 393718
MD5sum: 8ce96526b05110f9136259b8faebb221
SHA1: 9bcccf6a1593510b86283440dd4879d5f77a1fb4
SHA256: 846c826fefee9ae0ed47a6c21069c8141079edaeb2b7837f6b6f61c6c3277b78
Description: small scale reflection extension for Coq (plugin)
Enhances: coq
Homepage: http://www.msr-inria.fr/projects/mathematical-components/
Description-md5: c9d22fad0730ca0c68f6e78a2deb07fa
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu