| tag name | debian/8.1.gamma-4 (87b54f3cc1e52a21b0426707bec51e7f27fe1286) |
| tag date | 2007-02-11 18:28:52 +0000 |
| tagged by |  Samuel Mimram <smimram@debian.org> |
| tagged object | commit 2a14f39fdf... |
[svn-buildpackage] Tagging coq (8.1~gamma-4)
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |