| tag name | debian/8.0pl2-4 (63360a671b4c4e2f9d0505f293f9092ee488a1a0) |
| tag date | 2005-11-21 19:44:03 +0000 |
| tagged by |  Samuel Mimram <samuel.mimram@ens-lyon.org> |
| tagged object | commit 06e68c3dcf... |
[svn-buildpackage] Tagging coq (8.0pl2-4)
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |