GAP_BUILD_VERSION = 4.12dev-985-g5dc76dd
GAP_BUILD_DATETIME = 2021-07-06 10:45:48+0000
