On Tue, 23 Jun 2015 09:45:53 +0200 Stéphane Glondu <glondu@debian.org> wrote: > Le 23/06/2015 01:18, Riley Baird a écrit : > > Seeing as the OCaml team already maintains coq, I thought that I'd ask > > whether the team would also be willing to maintain coq libraries as > > well. > > We already do: aac-tactics, coq-float, ssreflect, mathcomp Ah, that's great! > > You can get a copy of the coq-highschoolgeometry package here: > > http://mentors.debian.net/package/coq-highschoolgeometry > > Feel free to join the Alioth group and use the dom-new-git-repo script > to push your package there. Okay, will do.
Attachment:
pgpeJkz_1i5Kg.pgp
Description: PGP signature