Update PackageInfo.g and CI suite#102

fingolfin merged 3 commits into

gap-packages:mastergap-packages/float:masterfrom

stertooy:update-cistertooy/float:update-ciCopy head branch name to clipboard