tag name | debian/8.0pl1-1 (92eecda7a653e77ea75ebcf7443b6525a912bc3c) |
tag date | 2004-07-30 10:54:53 +0000 |
tagged by | Sven Luther <luther@debian.org> |
tagged object | commit 07ca48478b... |
Tagged coq 8.0pl1 after upload.
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | debian/8.0pl1-1 (92eecda7a653e77ea75ebcf7443b6525a912bc3c) |
tag date | 2004-07-30 10:54:53 +0000 |
tagged by | Sven Luther <luther@debian.org> |
tagged object | commit 07ca48478b... |