why_2.30+dfsg-4_amd64.changes ACCEPTED into unstable
Accepted:
libwhy-coq_2.30+dfsg-4_all.deb
to main/w/why/libwhy-coq_2.30+dfsg-4_all.deb
why-examples_2.30+dfsg-4_all.deb
to main/w/why/why-examples_2.30+dfsg-4_all.deb
why_2.30+dfsg-4.debian.tar.gz
to main/w/why/why_2.30+dfsg-4.debian.tar.gz
why_2.30+dfsg-4.dsc
to main/w/why/why_2.30+dfsg-4.dsc
why_2.30+dfsg-4_amd64.deb
to main/w/why/why_2.30+dfsg-4_amd64.deb
Changes:
why (2.30+dfsg-4) unstable; urgency=high
.
* Team upload
* Recompile with coq 8.3pl4 (no changes)
Override entries for your package:
libwhy-coq_2.30+dfsg-4_all.deb - optional libdevel
why-examples_2.30+dfsg-4_all.deb - optional doc
why_2.30+dfsg-4.dsc - source math
why_2.30+dfsg-4_amd64.deb - optional math
Announcing to debian-devel-changes@lists.debian.org
Thank you for your contribution to Debian.
Reply to: