Hi Debian OCaml team, A couple of weeks ago, I packaged the software "coq-highschoolgeometry" in the OCaml team's alioth repository but I have not yet been able to find a sponsor. I am a DM, so anyone who sponsors this would only need to do the initial upload (although I would be open to other arrangements too). To access further information about this package, you can visit the following URL: http://mentors.debian.net/package/coq-highschoolgeometry Alternatively, you can download the package with dget using this command: dget -x http://mentors.debian.net/debian/pool/main/c/coq-highschoolgeometry/coq- highschoolgeometry_8.4+20150620-1.dsc Thank you for your consideration, Riley Baird
Attachment:
pgp0QRDJqvvq9.pgp
Description: PGP signature