| tag name | upstream/8.2.beta4.svn20080907+dfsg (b5e6a28e8b7d1a69e5ee94a3f88878852b74c7ec) |
| tag date | 2008-09-08 00:15:04 +0200 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit 113b703a69... |
Upstream version 8.2~beta4.svn20080907+dfsg
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |