ssreflect_1.2+dfsg-3_amd64.changes is NEW
libssreflect-coq_1.2+dfsg-3_all.deb
to main/s/ssreflect/libssreflect-coq_1.2+dfsg-3_all.deb
(new) libssreflect-ocaml-dev_1.2+dfsg-3_amd64.deb extra ocaml
small scale reflection extension for Coq (devt files)
This package is part of Ssreflect, the small scale reflection
extension for Coq. It provides the static native-code library, needed
to build custom toplevels, and the compiled interface.
libssreflect-ocaml_1.2+dfsg-3_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1.2+dfsg-3_amd64.deb
ssreflect_1.2+dfsg-3.debian.tar.gz
to main/s/ssreflect/ssreflect_1.2+dfsg-3.debian.tar.gz
ssreflect_1.2+dfsg-3.dsc
to main/s/ssreflect/ssreflect_1.2+dfsg-3.dsc
Changes: ssreflect (1.2+dfsg-3) unstable; urgency=low
.
* debian/control:
- add libssreflect-ocaml-dev binary package
- put *ocaml* packages in ocaml section
- libssreflect-ocaml enhances coq
* Switch to dh-ocaml 0.9
* Switch to format 3.0 (quilt)
Override entries for your package:
libssreflect-coq_1.2+dfsg-3_all.deb - extra math
libssreflect-ocaml_1.2+dfsg-3_amd64.deb - extra math
ssreflect_1.2+dfsg-3.dsc - source math
Announcing to debian-devel-changes@lists.debian.org
Your package contains new components which requires manual editing of
the override file. It is ok otherwise, so please be patient. New
packages are usually added to the override file about once a week.
You may have gotten the distribution wrong. You'll get warnings above
if files already exist in other distributions.
Reply to: