summaryrefslogtreecommitdiff
tag namedebian/8.5_beta2+dfsg-1 (77dbe459d0963861291220779d771bf45ba58260)
tag date2015-07-16 19:50:46 +0200
tagged byGravatar Enrico Tassi <gareuselesinge@debian.org>
tagged objectcommit 1b014807aa...
coq Debian release 8.5~beta2+dfsg-1
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 05:24:47 +0000