| tag name | debian/8.0pl2-1 (c93a1dd202b5138c57882ec18acd5d024f4f2315) |
| tag date | 2005-01-31 17:04:48 +0000 |
| tagged by |  Samuel Mimram <samuel.mimram@ens-lyon.org> |
| tagged object | commit 6b61b68d58... |
Tagging after upload.
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |