| tag name | upstream/8.0pl2 (b6d72c4738524ce6a85c177499eff73ee0ade812) |
| tag date | 2005-01-31 14:34:14 +0000 |
| tagged by |  Samuel Mimram <samuel.mimram@ens-lyon.org> |
| tagged object | commit 6497f27021... |
Upstream version 8.0pl2
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |