Package: libssreflect-ocaml-dev
Architecture: i386
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-2iti5
Depends: camlp5-bskq5, libcoq-ocaml-dev-6pjp3, libssreflect-ocaml-2iti5, 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_i386.deb
Size: 60272
MD5sum: 832f0fe075e44247b72a3acefa4c779e
SHA1: 2c6e1738ca0b3115d1af06a5fd8d919d78c53390
SHA256: db0b70851ba909df102f7d094ada41a6481c75d182425a10ba4ceb915dc979d5
Homepage: https://math-comp.github.io/math-comp/
Description: small scale reflection extension for Coq (devt files)
Description-md5: 78fd55a41cd40461cad113c1eee83c6e