`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
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