-
POTTIER Francois authored
so that the demos can be built properly, and uninstalls it afterwards. Also, it checks that MenhirLib is not initially installed already.
adb82cce
so that the demos can be built properly, and uninstalls it afterwards. Also, it checks that MenhirLib is not initially installed already.