| tag name | upstream/8.3.pl3 (a127f12ab809adade6f02fb5a8a83682d00cfad0) |
| tag date | 2011-12-25 13:19:49 +0100 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit 300293c119... |
Upstream version 8.3.pl3
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |