gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.
Indeed, part of licDump was done in lic, but that part should not depend in the compil option.