<!-- Do not edit the following four lines. They will be updated 
     automatically by the distribution wrapper scripts. -->
<!ENTITY VERSIONNUMBER "4.10.0">
<!ENTITY RELEASEDAY "01-Nov-2018">
<!ENTITY RELEASEYEAR "2018">
<!ENTITY GAPDIRNAME "gap-4.10.0">
