Package: libssreflect-ocaml-dev Source: ssreflect Version: 1.5~rc1-3 Installed-Size: 268 Maintainer: Debian OCaml Maintainers Architecture: ia64 Replaces: libssreflect-ocaml (<< 1.2+dfsg-3~) Provides: libssreflect-ocaml-dev-m2eu7 Depends: camlp5-dq1s7, libcoq-ocaml-dev-kcwd8, libssreflect-ocaml-m2eu7, ocaml-nox-4.01.0 Breaks: libssreflect-ocaml (<< 1.2+dfsg-3~) Description: small scale reflection extension for Coq (devt files) Homepage: http://www.msr-inria.fr/projects/mathematical-components/ Description-md5: 78fd55a41cd40461cad113c1eee83c6e Tag: devel::library, role::devel-lib Section: ocaml Priority: extra Filename: pool/main/s/ssreflect/libssreflect-ocaml-dev_1.5~rc1-3_ia64.deb Size: 62264 MD5sum: 10e9a0897f0a6d73cbce52bab564ff86 SHA1: 571f3f77a7eebd119cdb62fd9e951e9dcda58afb SHA256: d9fec617cbdc8fd92eb7184a049c554a0cfe563a3deb0bec530dfc265d3907f0