| tag name | debian/8.2.rc2+dfsg-2 (6cb2a644df35518da1549c36216e366e8a8ead53) |
| tag date | 2009-02-08 11:11:10 +0100 |
| tagged by |  Stephane Glondu <steph@glondu.net> |
| tagged object | commit 17b9160469... |
Debian release 8.2~rc2+dfsg-2
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |