Dear Forum, I just installed GAP 4.7.5. Usually, I compile some of the packages as well. However, this time I am unable to compile the "float-0.5.18" package. Apparently, it does not contain a "configure" file anymore (in contrast to version 0.5.17), but the readme refers to such a file. Is this supposed to be so? Best, Benjamin