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
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
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,