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 debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/55c90763.2090...@debian.org