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
pgphGEKLw62Je.pgp
Description: PGP signature
