sci ml Build the Coq IDE, a clone of proof general using dev-ml/lablgtk Do not build real analysis modules (faster compilation)