| tag name | upstream/8.4_beta (0af57e73f98771a91dfb9710e086a1971e60170a) |
| tag date | 2012-01-12 16:02:22 +0100 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit 97fefe1fcc... |
Upstream version 8.4~beta
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |