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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
