Re: User-contributed coq libraries

[Stéphane Glondu <glondu@debian.org>]

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

> On one hand, coq libraries aren't written in OCaml, but instead in
> their own language. On the other hand, it would be good to have
> centralised development of coq-related packages.
> 
> If coq libraries do fall within the scope of the OCaml team, then I'm
> ready to join!

I think they do.

> 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.


Cheers,

-- 
Stéphane