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