On Thu, 2008-02-07 at 20:14 +0000, Jack Tanner wrote: > Andrew Overholt <overholt@...> writes: > > > > TPTP. [7] Official Eclipse component. Not available in Fedora or JPackage. > > > > If you packaged this, you'd be my hero (at least for the month of > > February). > > Sorry, but I doubt I'll be able to help out with that. What work has been made > on TPTP already, and what remains? No work has been done on a TPTP package AFAIK. Coincidentally, I just read an account of their currently horrible installation experience: http://meikas.com/blog/2008/tptp-and-ubuntu Andrew -- fedora-devel-java-list mailing list fedora-devel-java-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-java-list
