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

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

Re: VMware packaging

On Sun, Aug 13, 2006 at 02:25:59AM +0200, Pierre Habouzit wrote: > Le dim 13 août 2006 02:06, Peter Collingbourne a écrit : > > Dear all, > > > > I found there were no VMware-related packages in the official > > repository, nor any way of creating them. Thus I propos

VMware packaging

Dear all, I found there were no VMware-related packages in the official repository, nor any way of creating them. Thus I propose to create a tool that will build (for example for VMware Server) vmware-server and vmware-modules-source packages based on an installation tarball (a la java-package).

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

Re: menu-method for .desktop files?

On Tue, Dec 07, 2004 at 03:35:45PM +0100, Bill Allombert wrote: > On Mon, Dec 06, 2004 at 11:47:16PM +0000, Peter Collingbourne wrote: > > > > This is a good start, now the question is how to integrate this into > > the system. > > > > To tell you the truth I ha

Re: menu-method for .desktop files?

On Mon, Dec 06, 2004 at 07:34:45PM +0100, Bill Allombert wrote: > On Sun, Dec 05, 2004 at 03:54:12PM +0000, Peter Collingbourne wrote: > > Hi > > > > I notice discussion on bug #241554 regarding a menu-method for .desktop > > files used by KDM/GDM for window manager

menu-method for .desktop files?

Hi I notice discussion on bug #241554 regarding a menu-method for .desktop files used by KDM/GDM for window manager sessions. Has any progress been made on this? If not I would like to volunteer for it. I definitely think it would be a useful thing to have, considering the majority of window ma