summaryrefslogtreecommitdiff
tag namedebian/8.5_beta2+dfsg-2 (87a6e3d1fda241529a988bc5307678850269780a)
tag date2015-07-20 09:54:26 +0200
tagged byGravatar Enrico Tassi <gareuselesinge@debian.org>
tagged objectcommit 64fa31c7ee...
coq Debian release 8.5~beta2+dfsg-2
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 05:08:59 +0000