Le 03/08/2015 13:28, Riley Baird a écrit : > A couple of weeks ago, I packaged the software > "coq-highschoolgeometry" in the OCaml team's alioth repository but I > have not yet been able to find a sponsor. I've looked at the package. It looks fine. I've uploaded it. Sorry for taking so much time. Cheers, -- Stéphane