Package: libssreflect-ocaml-dev
Priority: extra
Section: universe/ocaml
Installed-Size: 234
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
Replaces: libssreflect-ocaml (<< 1.2+dfsg-3~)
Provides: libssreflect-ocaml-dev-qb0f9
Depends: camlp5-4bgd8, libcoq-ocaml-dev-68030, libssreflect-ocaml-qb0f9, ocaml-nox-4.02.3
Breaks: libssreflect-ocaml (<< 1.2+dfsg-3~)
Filename: pool/universe/s/ssreflect/libssreflect-ocaml-dev_1.5-3build1_i386.deb
Size: 64068
MD5sum: 3a157bbfeecaaf127cd3be8c300fd28f
SHA1: 454aeeb02896540c36da332c71208da6b84fab97
SHA256: 03e16954a3285699a7bae95470d500e46ef2389451a175278202d5a14271a833
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