Hi OCaml team! I've just packaged the user-contributed coq library "HighSchoolGeometry", and pushed it onto the OCaml alioth repo. Would anyone be willing to sponsor the upload? You can get a copy of the coq-highschoolgeometry package here: http://mentors.debian.net/package/coq-highschoolgeometry Yours thankfully, Riley Baird
Attachment:
pgpBJ6p4QZf_8.pgp
Description: PGP signature