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