Hi OCaml team! I've just packaged the user-contributed coq library "HighSchoolGeometry". (It is a dependency of a program which I would like to package for Debian called geoproof.) 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. 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! You can get a copy of the coq-highschoolgeometry package here: http://mentors.debian.net/package/coq-highschoolgeometry Yours thankfully, Riley Baird
Attachment:
pgp9Ao7k34FJ3.pgp
Description: PGP signature