tag name | upstream/8.0pl1 (b928495c614735da972c5b6a80eb926ee57cfeff) |
tag date | 2004-07-28 21:54:47 +0000 |
tagged by | Samuel Mimram <samuel.mimram@ens-lyon.org> |
tagged object | commit 6b649aba92... |
Upstream version 8.0pl1
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | upstream/8.0pl1 (b928495c614735da972c5b6a80eb926ee57cfeff) |
tag date | 2004-07-28 21:54:47 +0000 |
tagged by | Samuel Mimram <samuel.mimram@ens-lyon.org> |
tagged object | commit 6b649aba92... |