| tag name | debian/8.1+dfsg-4 (fd9dd86b6a634d00a80528ac806d0ea7350fe337) |
| tag date | 2007-04-24 21:30:08 +0000 |
| tagged by |  Samuel Mimram <smimram@debian.org> |
| tagged object | commit 41f185d26e... |
[svn-buildpackage] Tagging coq (8.1+dfsg-4)
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |