Hi Riley, could you please reupload your package. It seems it does not exist on mentors any more.
Cheers Anton 2015-07-13 8:57 GMT+02:00 Riley Baird <bm-2cvqnduybau5do2dfjtrn7zbaj246s4...@bitmessage.ch>: > 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 > > -- > debian-science-maintainers mailing list > debian-science-maintainers@lists.alioth.debian.org > http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
