| tag name | debian/8.2.beta4+dfsg-1 (dca80c64967630d78118e66dff435fcee8ce9124) |
| tag date | 2008-08-14 19:17:35 +0200 |
| tagged by |  Samuel Mimram <samuel.mimram@ens-lyon.org> |
| tagged object | commit 80430f1fcf... |
Debian release 8.2~beta4+dfsg-1
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |