Hi Anton, The package has already been uploaded by someone else, but thanks anyway!
That being said, I'd like to maintain geoproof with Debian Science, so I've just made a request to join on Alioth, and I'll be certain to ask you to upload once I've packaged it. Thanks, Riley On Tue, 18 Aug 2015 21:15:17 +0200 Anton Gladky <gl...@debian.org> wrote: > 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
pgpY2KebGf45Z.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
