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.
Hi Debian OCaml team,
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 am a DM, so anyone who sponsors this would only need to do the
initial upload (although I would be open to other ar
2 matches
Mail list logo