| tag name | debian/8.1.pl3+dfsg-1 (2c6b84a31028370c18dc40bc40ffdb7fe967c35e) |
| tag date | 2008-01-05 09:20:05 +0000 |
| tagged by |  Samuel Mimram <smimram@debian.org> |
| tagged object | commit 4892a9c7ae... |
[svn-buildpackage] Tagging coq (8.1.pl3+dfsg-1)
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |