Yannick Chevalier

icon indicating a website link http://www.irit.fr/~Yannick.Chevalier/

icon company IRIT, Université Paul Sabatier Toulouse 3 icon location Toulouse, France icon location Assistant professor at Université de Toulouse (France)

Results 1 comments of Yannick Chevalier

Cannot install in ubuntu 14.04

Hi qdwang, I am on Debian 8, but had the same issue. I solved the problem by: - (as proposed by Andrewray), switch the opam install to match the distrib...