| tag name | upstream/8.4_beta+dfsg (2a09560c4ca3f75d68e584bc309dd50bf1d7842a) |
| tag date | 2012-01-12 16:06:17 +0100 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit 39efc41237... |
Upstream version 8.4~beta+dfsg
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |