Accepted:
libwhy-coq_2.30+dfsg-5_all.deb
to main/w/why/libwhy-coq_2.30+dfsg-5_all.deb
why-examples_2.30+dfsg-5_all.deb
to main/w/why/why-examples_2.30+dfsg-5_all.deb
why_2.30+dfsg-5.debian.tar.gz
to main/w/why/why_2.30+dfsg-5.debian.tar.gz
why_2.30+dfsg-5.dsc
to main/w/why/why_2.30+dfsg-5.dsc
why_2.30+dfsg-5_amd64.deb
to main/w/why/why_2.30+dfsg-5_amd64.deb
Changes:
why (2.30+dfsg-5) unstable; urgency=low
.
* Update 0001-Why-2.29-do-support-Coq-8.3.patch
- Mark Coq 8.3pl4 as compatible.
* Bump Standards-Version to 3.9.3, no changes required.
Override entries for your package:
libwhy-coq_2.30+dfsg-5_all.deb - optional libdevel
why-examples_2.30+dfsg-5_all.deb - optional doc
why_2.30+dfsg-5.dsc - source math
why_2.30+dfsg-5_amd64.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]
