tag name | upstream/8.3.pl4 (9aa5c8b1cbab01aba11098f888b5bc7341842c88) |
tag date | 2012-03-27 07:41:23 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 2bdcd093b3... |
Upstream version 8.3.pl4
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | upstream/8.3.pl4 (9aa5c8b1cbab01aba11098f888b5bc7341842c88) |
tag date | 2012-03-27 07:41:23 +0200 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit 2bdcd093b3... |