tag name | upstream/8.2.rc2+dfsg (579d9f048d7ad8b61ac9492c0fe497ceb38e86d1) |
tag date | 2009-02-01 00:54:43 +0100 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit cfbfe13f5b... |
Upstream version 8.2~rc2+dfsg
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | upstream/8.2.rc2+dfsg (579d9f048d7ad8b61ac9492c0fe497ceb38e86d1) |
tag date | 2009-02-01 00:54:43 +0100 |
tagged by | Stephane Glondu <steph@glondu.net> |
tagged object | commit cfbfe13f5b... |