coq-float_8.3pl1-3_amd64.changes ACCEPTED into unstable
Accepted:
coq-float_8.3pl1-3.debian.tar.gz
to main/c/coq-float/coq-float_8.3pl1-3.debian.tar.gz
coq-float_8.3pl1-3.dsc
to main/c/coq-float/coq-float_8.3pl1-3.dsc
libfloat-coq_8.3pl1-3_all.deb
to main/c/coq-float/libfloat-coq_8.3pl1-3_all.deb
Changes:
coq-float (1:8.3pl1-3) unstable; urgency=low
.
* Recompile with coq 8.3pl4 and camlp5 6.05 (no changes)
Override entries for your package:
coq-float_8.3pl1-3.dsc - source libdevel
libfloat-coq_8.3pl1-3_all.deb - optional math
Announcing to debian-devel-changes@lists.debian.org
Thank you for your contribution to Debian.
Reply to: