summaryrefslogtreecommitdiff
tag namedebian/8.6-1 (edf9daf87c11df57449104a9484345dd4e63fe50)
tag date2016-12-28 09:29:10 +0100
tagged byGravatar Enrico Tassi <gareuselesinge@debian.org>
tagged objectcommit bfe45dbaed...
coq Debian release 8.6-1
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-23 20:46:38 +0000