Hi Andreas, yes, I thought that it would be a good idea, but I couldn't find exact guidelines how to do it. (Maybe it's just because I'm a bit tired after spending the whole weekend reading Debian documentation.) I can package eprover according to http://debian- science.alioth.debian.org/debian-science-policy.html this is no problem, but I'm not sure what to do next. Just look for a sponsor at http://wiki.debian.org/DebianScience/Sponsoring? Or request membership in Debian Science at Alioth?
Thanks for your help. Petr On Sunday 22 February 2009 14:10:11 Andreas Tille wrote: > Hi, > > this seems like a nce target for Debian Science Mathematics > section. Petr, do you consider putting the package under > Debian Science team maintenance? > > Kind regards > > Andreas. > > On Sun, 22 Feb 2009, Petr Pudlak wrote: > > Package: wnpp > > Severity: wishlist > > Owner: Petr Pudlak <d...@pudlak.name> > > > > > > * Package name : eprover > > Version : 1.0.004 > > Upstream Author : Stephan Schulz <sch...@eprover.org> > > * URL : http://www.eprover.org/ > > * License : GPL-2 > > Programming Lang: C > > Description : The Equational Theorem Prover E > > > > E is an automated equational theorem prover. That means it is a program > > that you can stuff a mathematical specification (in first-order logic > > with equality) and a hypothesis into, and which will then run forever, > > using up all of your machines resources. Very occasionally it will find a > > proof for the hypothesis and tell you so ;-). > > > > Release 1.0 is the culmination of a long development phase. Important > > changes vs. version 0.999 include the fixing of some bugs in definitional > > clausification for large problems and general cleanup. > > > > (Copied from the original documentation.)
