summaryrefslogtreecommitdiff
tag namedebian/8.0pl1-3 (5a6f4f51bcbe9d2e4576e67bba5421fe68c76d2f)
tag date2004-08-26 23:02:28 +0000
tagged byGravatar Sven Luther <luther@debian.org>
tagged objectcommit 30849e1883...
Tagegd coq 8.0pl1-3 after upload.