Hi debian-science-maintainers! On the list of wanted packages in DebianScience/Mathematics, I saw geoproof, a program used for automatically generating geometric proofs.
You can see more information about it here: http://home.gna.org/geoproof/ This package depends on coq-highschoolgeometry, which I have packaged. However, since I am not a DD, I need a sponsor to get it into the archive. Would anyone be willing to sponsor my package? You can find it here: https://mentors.debian.net/package/coq-highschoolgeometry Yours thankfully, Riley Baird
pgp80dDAN796b.pgp
Description: PGP signature
-- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
