summaryrefslogtreecommitdiff
tag namedebian/8.6-2 (2d00820e969ba019a9ba6fb001e942df293df9d6)
tag date2016-12-28 21:01:20 +0100
tagged byGravatar Enrico Tassi <gareuselesinge@debian.org>
tagged objectcommit 4409e85b91...
coq Debian release 8.6-2
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-26 08:11:41 +0000