tag name | debian/8.2.rc2+dfsg-1 (40ddffce71f26b556877dda2f4c85598eb60e843) |
tag date | 2009-02-05 17:53:19 +0100 |
tagged by | Samuel Mimram <samuel.mimram@ens-lyon.org> |
tagged object | commit 7b47bd0e98... |
Debian release 8.2~rc2+dfsg-1
index : debian-coq | ||
Debian packaging for Coq |
summaryrefslogtreecommitdiff |
tag name | debian/8.2.rc2+dfsg-1 (40ddffce71f26b556877dda2f4c85598eb60e843) |
tag date | 2009-02-05 17:53:19 +0100 |
tagged by | Samuel Mimram <samuel.mimram@ens-lyon.org> |
tagged object | commit 7b47bd0e98... |