| tag name | upstream/8.4dfsg (17467da064fb1aef542e2e7fc857af2cc6fe1e13) |
| tag date | 2012-08-20 18:27:02 +0200 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit e0d682ec25... |
Upstream version 8.4dfsg
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |