<!-- Do not edit the following four lines. They will be updated 
     automatically by the distribution wrapper scripts. -->
<!ENTITY VERSIONNUMBER "4.11.0">
<!ENTITY RELEASEDAY "29-Feb-2020">
<!ENTITY RELEASEYEAR "2020">
<!ENTITY GAPDIRNAME "gap-4.11.0">
