K 10
svn:author
V 6
amdmi3
K 8
svn:date
V 27
2016-09-06T18:12:36.127831Z
K 7
svn:log
V 129
- Switch to USES=zip:infozip to fix extraction problem on recent current

PR:		212311
Submitted by:	rhurlin@gwdg.de (maintainer)

END