"lib/soc2cStack.ml" did not exist on "b1f6ed64db81d97229a0d72e6414aab4db2879a1"
Add shebang to postinstall script (fixes installation on Debian family)
Closes #212
Please register or sign in to comment
gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.
Closes #212