<!-- This file has been generated by the GAP build system,
     do not edit manually. -->
<!ENTITY VERSIONNUMBER "4.11.0">
<!ENTITY RELEASEDAY "29-Feb-2020">
<!ENTITY RELEASEYEAR "2020">
<!ENTITY GAPDIRNAME "gap-4.11.0">
