version=3
https://files.gap-system.org/gap4/tar.bz2/packages/GAPDoc-([0-9].*)\.tar\.bz2 debian uupdate
