| tag name | debian/8.0pl3+8.1alpha-1 (5aa73e30aaef1319b69e6df1fc6ed7d39bf67140) |
| tag date | 2006-04-29 16:38:26 +0000 |
| tagged by |  Samuel Mimram <smimram@debian.org> |
| tagged object | commit c514a452ff... |
[svn-buildpackage] Tagging coq (8.0pl3+8.1alpha-1)
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |