| tag name | debian/8.2.beta4+dfsg-2 (4f049e3bfb7d9c447b7a891083b4337f797d7685) |
| tag date | 2008-08-15 14:09:05 +0200 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit 745e0fb3b3... |
Debian release 8.2~beta4+dfsg-2
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |