coq-float_8.2-1.2-1_i386.changes ACCEPTED
Accepted:
coq-float_8.2-1.2-1.diff.gz
to pool/main/c/coq-float/coq-float_8.2-1.2-1.diff.gz
coq-float_8.2-1.2-1.dsc
to pool/main/c/coq-float/coq-float_8.2-1.2-1.dsc
coq-float_8.2-1.2.orig.tar.gz
to pool/main/c/coq-float/coq-float_8.2-1.2.orig.tar.gz
libfloat-coq_8.2-1.2-1_all.deb
to pool/main/c/coq-float/libfloat-coq_8.2-1.2-1_all.deb
Override entries for your package:
coq-float_8.2-1.2-1.dsc - source libdevel
libfloat-coq_8.2-1.2-1_all.deb - optional libdevel
Announcing to debian-devel-changes@lists.debian.org
Thank you for your contribution to Debian.
Reply to: