Project

General

Profile

Activity

From 05/01/2020 to 05/30/2020

05/28/2020

03:45 PM Bug #96 (Resolved): Lustrec installation failed
Remove lustresf in configure since that's the one producing this error.
Still, that's pretty weird since ocamlbuild ...
Pierre-Loïc Garoche
03:35 PM Bug #96 (Resolved): Lustrec installation failed
Branch unstable,
The log is attached.
Hamza Bourbouh
 

Also available in: Atom