Sponsorship of mathematical package

[Riley Baird]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 819 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20150713/f4b0b259/attachment.sig>