| tag name | debian/8.0pl2-3 (12f80f9a46a99d8bb09c741208b90846868c575b) |
| tag date | 2005-09-07 20:24:32 +0000 |
| tagged by |  Samuel Mimram <samuel.mimram@ens-lyon.org> |
| tagged object | commit 4403263077... |
[svn-buildpackage] Tagging coq (8.0pl2-3)
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |