| tag name | upstream/8.0pl3+8.1beta (19a31c38a6800594ff88191823073cdae5dfd4bf) |
| tag date | 2006-06-16 14:41:51 +0000 |
| tagged by |  Samuel Mimram <smimram@debian.org> |
| tagged object | commit e978da8c41... |
Upstream version 8.0pl3+8.1beta
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |