| tag name | debian/8.0pl1-3 (5a6f4f51bcbe9d2e4576e67bba5421fe68c76d2f) |
| tag date | 2004-08-26 23:02:28 +0000 |
| tagged by |  Sven Luther <luther@debian.org> |
| tagged object | commit 30849e1883... |
Tagegd coq 8.0pl1-3 after upload.
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |