<!-- This file has been generated by the GAP build system,
     do not edit manually. -->
<!ENTITY VERSIONNUMBER "4.12dev">
<!ENTITY RELEASEDAY "today">
<!ENTITY RELEASEYEAR "this year">
<!ENTITY GAPDIRNAME "gap-4.12dev">
