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