| tag name | debian/8.2.rc2+dfsg-3 (49f1e9610f9842199eae58c4c703f52a4051d235) |
| tag date | 2009-02-08 23:01:25 +0100 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit 8faffcb73f... |
Debian release 8.2~rc2+dfsg-3
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |