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