Bug#437936: ITP: ladr -- deduction library, theorem prover and countermodel generator

Package: wnpp Severity: wishlist Owner: Peter Collingbourne <[EMAIL PROTECTED]> * Package name: ladr Version : 0.0.200708 Upstream Author : William McCune <[EMAIL PROTECTED]> * URL : http://www.cs.unm.edu/~mccune/mace4/ * License : GPL Program

Bug#437944: ITP: prover9-doc -- documentation for Prover9 and associated programs

Package: wnpp Severity: wishlist Owner: Peter Collingbourne <[EMAIL PROTECTED]> * Package name: prover9-doc Version : 0.0.200708 Upstream Author : William McCune <[EMAIL PROTECTED]> * URL : http://www.cs.unm.edu/~mccune/mace4/ * License : GPL

Bug#510356: ITP: clojure -- a Lisp dialect for the JVM

Package: wnpp Severity: wishlist Owner: Peter Collingbourne * Package name: clojure Version : 0.0.20081217 Upstream Author : Rich Hickey * URL : http://clojure.org/ * License : Eclipse Public License 1.0 Programming Lang: Java, Clojure Description

Bug#460813: ITP: p9m4 -- GUI for Prover9 and Mace4

Package: wnpp Severity: wishlist Owner: Peter Collingbourne <[EMAIL PROTECTED]> * Package name: p9m4 Version : 0.5 Upstream Author : William McCune <[EMAIL PROTECTED]> * URL : http://www.cs.unm.edu/~mccune/mace4/ * License : GPL Programming

Bug#376993: ITP: tcpser -- emulate a Hayes compatible modem

Package: wnpp Severity: wishlist Owner: Peter Collingbourne <[EMAIL PROTECTED]> * Package name: tcpser Version : 1.0rc10 Upstream Author : Jim Brain <[EMAIL PROTECTED]> * URL : http://www.jbrain.com/pub/linux/serial * License : GPL Program

Bug#568953: ITP: commons-exec -- a library to reliably execute external processes from within the JVM

Package: wnpp Severity: wishlist Owner: Peter Collingbourne * Package name: commons-exec Version : 1.0.1 Upstream Author : Siegfried Goeschl : Sebastian Bazley : Brett Leslie Porter : Niall Kegan Pemberton

Bug#568953: ITP: commons-exec -- a library to reliably execute external processes from within the JVM

On Tue, Feb 09, 2010 at 03:06:32PM +0100, Florian Weimer wrote: > * Peter Collingbourne: > > > On Tue, Feb 09, 2010 at 02:06:34PM +0100, Florian Weimer wrote: > >> * Peter Collingbourne: > >> > >> > Executing external processes from Java is a well-kn

Bug#568953: ITP: commons-exec -- a library to reliably execute external processes from within the JVM

On Tue, Feb 09, 2010 at 02:06:34PM +0100, Florian Weimer wrote: > * Peter Collingbourne: > > > Executing external processes from Java is a well-known problem > > area. It is inherently platform dependent and requires the developer > > to know and test for platform

Bug#569096: ITP: clojure-maven-plugin -- Clojure plugin for Maven

Package: wnpp Severity: wishlist Owner: Peter Collingbourne * Package name: clojure-maven-plugin Version : 1.3.1 Upstream Author : Mark Derricutt * URL : http://github.com/talios/clojure-maven-plugin * License : Apache 2.0, Eclipse 1.0 Programming Lang

Bug#397257: ITP: otter -- resolution-style theorem prover

Package: wnpp Severity: wishlist Owner: Peter Collingbourne <[EMAIL PROTECTED]> * Package name: otter Version : 3.3f Upstream Author : William McCune <[EMAIL PROTECTED]> * URL : http://www.cs.unm.edu/~mccune/otter/ * License : public domain Prog

Bug#397663: ITP: pydot -- Python interface to Graphviz's dot

Package: wnpp Severity: wishlist Owner: Peter Collingbourne <[EMAIL PROTECTED]> * Package name: pydot Version : 0.9.10 Upstream Author : Ero Carrera <[EMAIL PROTECTED]> * URL : http://dkbza.org/pydot.html * License : MIT Programming

Bug#398092: ITP: dot2tex -- Graphviz to LaTeX converter

Package: wnpp Severity: wishlist Owner: Peter Collingbourne <[EMAIL PROTECTED]> * Package name: dot2tex Version : 1.5.0 Upstream Author : Kjell Magne Fauske <[EMAIL PROTECTED]> * URL : http://www.fauskes.net/code/dot2tex/ * License : MIT Prog