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