| tag name | upstream/8.4pl1dfsg (229b699df8480fd12330c208b76e22f85717011a) |
| tag date | 2012-12-29 10:57:45 +0100 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit bf12eb93f3... |
Upstream version 8.4pl1dfsg
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |