Package: libssreflect-ocaml
Priority: extra
Section: universe/math
Installed-Size: 2233
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~rc1-3
Provides: libssreflect-ocaml-xuxd9
Depends: libcoq-ocaml-ajad9, ocaml-base-nox-4.01.0, libc6 (>= 2.1.3)
Filename: pool/universe/s/ssreflect/libssreflect-ocaml_1.5~rc1-3_i386.deb
Size: 390814
MD5sum: 2384406742b65f7b8fccd87f357dacb9
SHA1: e1ce382aa146ca044758baf4dc333384f3230c06
SHA256: 7e64dbb6db39d8e9b4f349083f5384a8f00c5f426d52839eb0d7c1827a608d42
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