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 [email protected] Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
