Package: libssreflect-ocaml-dev Architecture: amd64 Version: 1.6.1-3build1 Priority: optional Section: universe/ocaml Source: ssreflect Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 360 Provides: libssreflect-ocaml-dev-4ikq7 Depends: camlp5-ps9p6, libcoq-ocaml-dev-ywd98, libssreflect-ocaml-4ikq7, ocaml-nox-4.05.0 Breaks: libssreflect-ocaml (<< 1.2+dfsg-3~) Replaces: libssreflect-ocaml (<< 1.2+dfsg-3~) Filename: pool/universe/s/ssreflect/libssreflect-ocaml-dev_1.6.1-3build1_amd64.deb Size: 60276 MD5sum: e8ac1779783db72aec19af91adcdcffd SHA1: 8029df641529b02835900b84baf5fda75c9351dd SHA256: 89ec40b2dfa21f8a41ba0bb2ffdd6afc79c9eafd2666f52b27939cd5485cf028 Homepage: https://math-comp.github.io/math-comp/ Description: small scale reflection extension for Coq (devt files) Description-md5: 78fd55a41cd40461cad113c1eee83c6e