- add directory with old versions to MASTER_SITES to get outdated distfiles from the official mirrors - bugfix release
From: maintainer Nikolay Sturm <sturm@sec.informatik.tu-darmstadt.de>.