Debian release 8.2~rc2+dfsg-3
Debian release 8.2~rc2+dfsg-2
Upstream version 8.2~rc2+dfsg
Upstream version 8.2~beta4.svn20080907+dfsg
Debian release 8.2~beta4+dfsg-2
Upstream version 8.2~beta4+dfsg
Upstream version 8.2~beta3+dfsg
Upstream version 8.1.pl3+dfsg
[svn-buildpackage] Tagging coq (8.1.pl2+dfsg-3)
[svn-buildpackage] Tagging coq (8.1.pl2+dfsg-2)
[svn-buildpackage] Tagging coq (8.1.pl2+dfsg-1)
Upstream version 8.1.pl2+dfsg
[svn-buildpackage] Tagging coq (8.1.pl1+dfsg-3)
[svn-buildpackage] Tagging coq (8.1.pl1+dfsg-2)
[svn-buildpackage] Tagging coq (8.1.pl1+dfsg-1)
Upstream version 8.1.pl1+dfsg