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 |
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... |