`why3 ide` fails to start because of some missing files
It seems like make install
does not install enough files: language file for 'Why3python' not found in directory /usr/local/share/why3/lang
.
Presumably caused by 5886268a
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
It seems like make install
does not install enough files: language file for 'Why3python' not found in directory /usr/local/share/why3/lang
.
Presumably caused by 5886268a