| tag name | debian/8.0pl2-2 (ac7ab613fe17a91a0a83737c5247761f438fae30) |
| tag date | 2005-03-31 22:05:07 +0000 |
| tagged by |  Samuel Mimram <samuel.mimram@ens-lyon.org> |
| tagged object | commit 36056e5065... |
Tagging after upload.
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |