| tag name | upstream/8.3pl1 (442309999a6d324906b27b2210f3acf96829dac7) |
| tag date | 2010-12-24 11:53:34 +0100 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit 6b691bbd21... |
Upstream version 8.3pl1
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |