| tag name | upstream/8.0pl3+8.1alpha (c340a1b79f0aa7f4ea63b249c6957e0e4c56c8c3) |
| tag date | 2006-04-28 14:59:16 +0000 |
| tagged by |  Samuel Mimram <smimram@debian.org> |
| tagged object | commit 3ef7797ef6... |
Upstream version 8.0pl3+8.1alpha
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |