Sponsorship of mathematical package

[Anton Gladky]

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-2cVqnDuYbAU5do2DfJTrN7ZbAJ246S4XiX at 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 at lists.alioth.debian.org
> http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers