Package: libssreflect-ocaml-dev
Priority: extra
Section: universe/ocaml
Installed-Size: 268
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
Replaces: libssreflect-ocaml (<< 1.2+dfsg-3~)
Provides: libssreflect-ocaml-dev-xuxd9
Depends: camlp5-2by42, libcoq-ocaml-dev-ajad9, libssreflect-ocaml-xuxd9, ocaml-nox-4.01.0
Breaks: libssreflect-ocaml (<< 1.2+dfsg-3~)
Filename: pool/universe/s/ssreflect/libssreflect-ocaml-dev_1.5~rc1-3_i386.deb
Size: 61608
MD5sum: 806c9a573c7d169fe2a66902c45f8d07
SHA1: f7a9a4db4f8cbd90982c5cbaea14121d3d401007
SHA256: 142ea215e9c94ce476e19dda24759e4b7e7fcf6c17a8804bfc55421f03abaa55
Description: small scale reflection extension for Coq (devt files)
Homepage: http://www.msr-inria.fr/projects/mathematical-components/
Description-md5: 78fd55a41cd40461cad113c1eee83c6e
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu