Accepted clojure-maven-plugin 1.3.3-2 (source all)

...@lists.alioth.debian.org Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: libclojure-maven-plugin-java - Clojure plugin for Maven Closes: 591125 Changes: clojure-maven-plugin (1.3.3-2) unstable; urgency=low . * debian/control, debian/maven.ignoreRules: use m-r-h 1.2 maven rules

Accepted clojure-maven-plugin 1.3.2-1 (source all)

...@lists.alioth.debian.org Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: libclojure-maven-plugin-java - Clojure plugin for Maven Closes: 569096 Changes: clojure-maven-plugin (1.3.2-1) unstable; urgency=low . * New upstream release (Closes: #569096) * debian/control: added DM

Accepted commons-exec 1.0.1-1 (source all)

...@lists.alioth.debian.org Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: libcommons-exec-java - a library to reliably execute external processes from within the Closes: 568953 Changes: commons-exec (1.0.1-1) unstable; urgency=low . * Initial release (Closes: #568953) Checksums-Sha1

Accepted dot2tex 2.8.7+repack-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 10 Feb 2010 22:35:17 + Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.8.7+repack-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk Changed-By: Peter Collingbourne pe

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

Package: wnpp Severity: wishlist Owner: Peter Collingbourne pe...@pcc.me.uk * Package name: clojure-maven-plugin Version : 1.3.1 Upstream Author : Mark Derricutt m...@talios.com * URL : http://github.com/talios/clojure-maven-plugin * License : Apache 2.0

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

Package: wnpp Severity: wishlist Owner: Peter Collingbourne pe...@pcc.me.uk * Package name: commons-exec Version : 1.0.1 Upstream Author : Siegfried Goeschl sgoes...@apache.org : Sebastian Bazley s...@apache.org : Brett Leslie Porter br

Accepted clojure 1.1.0+dfsg-1 (source all)

Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: clojure- a Lisp dialect for the JVM Changes: clojure (1.1.0+dfsg-1) unstable; urgency=low . * debian/rules, debian/watch: Modified the get-orig-source rule and watchfile to handle more source layouts * New upstream release

Accepted dot2tex 2.8.6-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 29 Jul 2009 21:37:05 -0700 Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.8.6-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk Changed-By: Peter Collingbourne pe

Accepted clojure 1.0.0+dfsg-1 (source all)

Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: clojure- a Lisp dialect for the JVM Changes: clojure (1.0.0+dfsg-1) unstable; urgency=low . * New upstream release. * debian/rules, debian/watch: s/.dfsg/+dfsg/; changes required to deal with new version numbering scheme

Accepted ladr 0.0.200902a-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 03 May 2009 18:07:07 +0100 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source amd64 Version: 0.0.200902a-2 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk

Accepted p9m4 0.5.dfsg-2 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 03 May 2009 16:00:55 +0100 Source: p9m4 Binary: prover9-mace4 Architecture: source all Version: 0.5.dfsg-2 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk Changed-By: Peter Collingbourne pe

Accepted clojure 0.0.20090320.dfsg-1 (source all)

...@lists.alioth.debian.org Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: clojure- a Lisp dialect for the JVM Changes: clojure (0.0.20090320.dfsg-1) unstable; urgency=low . * New upstream release. * debian/patches/01-system-asm.patch: updated * debian/patches/02-better-bytecode.patch

Accepted clojure 0.0.20081217.dfsg-1 (source all)

...@lists.alioth.debian.org Changed-By: Peter Collingbourne pe...@pcc.me.uk Description: clojure- a Lisp dialect for the JVM Closes: 454566 Changes: clojure (0.0.20081217.dfsg-1) unstable; urgency=low . * Initial release (closes: #454566) Checksums-Sha1: 6ec11dff2c866ad4243b608ec0118049c531e2ac 1362

Accepted dot2tex 2.8.5-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 15 Mar 2009 16:23:06 + Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.8.5-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk Changed-By: Peter Collingbourne pe

Accepted prover9-manual 0.0.200902a-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 15 Mar 2009 00:53:52 + Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200902a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk Changed-By: Peter

Accepted ladr 0.0.200902a-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 14 Mar 2009 23:55:22 + Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source amd64 Version: 0.0.200902a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk

Accepted ladr 0.0.200811a-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 17 Feb 2009 01:48:06 + Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source amd64 Version: 0.0.200811a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk

Accepted prover9-manual 0.0.200811a-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 17 Feb 2009 02:20:39 + Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200811a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne pe...@pcc.me.uk Changed-By: Peter

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

Package: wnpp Severity: wishlist Owner: Peter Collingbourne pe...@pcc.me.uk * Package name: clojure Version : 0.0.20081217 Upstream Author : Rich Hickey richhic...@gmail.com * URL : http://clojure.org/ * License : Eclipse Public License 1.0 Programming Lang

Accepted dot2tex 2.8.4-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 29 Sep 2008 00:58:56 +0100 Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.8.4-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL

Accepted ladr 0.0.200809a-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 13 Sep 2008 21:23:58 +0100 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source i386 Version: 0.0.200809a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED

Accepted prover9-manual 0.0.200809a-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 13 Sep 2008 21:14:40 +0100 Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200809a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter

Accepted prover9-manual 0.0.200806a-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 29 Jun 2008 04:57:20 +0100 Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200806a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter

Accepted ladr 0.0.200806a-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 29 Jun 2008 03:23:16 +0100 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source i386 Version: 0.0.200806a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED

Accepted dot2tex 2.8.2-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Thu, 12 Jun 2008 14:04:56 +0100 Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.8.2-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL

Accepted prover9-manual 0.0.200805a-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 12 May 2008 19:34:36 +0100 Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200805a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter

Accepted ladr 0.0.200805a-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Mon, 12 May 2008 18:07:55 +0100 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source amd64 Version: 0.0.200805a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED

Accepted ladr 0.0.200804a-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 08 Apr 2008 23:44:14 +0100 Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source amd64 Version: 0.0.200804a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED

Accepted prover9-manual 0.0.200804a-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 8 Apr 2008 19:40:46 +0100 Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200804a-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter

Accepted prover9-manual 0.0.200712-2 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Thu, 20 Mar 2008 20:37:05 + Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200712-2 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter

Accepted tcpser 1.0rc12-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Mon, 4 Feb 2008 12:51:33 + Source: tcpser Binary: tcpser Architecture: source i386 Version: 1.0rc12-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL

Accepted p9m4 0.5.dfsg-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 15 Jan 2008 01:35:54 + Source: p9m4 Binary: prover9-mace4 Architecture: source all Version: 0.5.dfsg-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne

Accepted prover9-manual 0.0.200712-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Mon, 14 Jan 2008 20:24:28 + Source: prover9-manual Binary: prover9-doc Architecture: source all Version: 0.0.200712-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter

Accepted ladr 0.0.200712-2 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sun, 10 Feb 2008 20:34:47 + Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source i386 Version: 0.0.200712-2 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED

Accepted ladr 0.0.200712-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 22 Jan 2008 17:39:05 + Source: ladr Binary: libladr-dev libladr4 prover9 ladr4-apps Architecture: source i386 Version: 0.0.200712-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED

Accepted dot2tex 2.7.0-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 16 Jan 2008 01:31:30 + Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.7.0-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL

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 Lang: Python

Accepted dot2tex 2.6.1-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 13 Nov 2007 16:04:10 + Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.6.1-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL

Accepted pydot 0.9.10-2 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Mon, 12 Nov 2007 19:29:39 + Source: pydot Binary: python-pydot Architecture: source all Version: 0.9.10-2 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne

Accepted dot2tex 2.6.0-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 05 Oct 2007 16:41:28 +0100 Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.6.0-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL

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 Programming Lang: C

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 Programming Lang: n

Accepted dot2tex 2.5.0-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 17 Jul 2007 15:20:20 +0100 Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.5.0-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL

Accepted dot2tex 2.0.3-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Fri, 01 Jun 2007 15:51:56 +0100 Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.0.3-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL

Accepted dot2tex 2.0.1-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Wed, 09 May 2007 16:00:56 +0100 Source: dot2tex Binary: dot2tex Architecture: source all Version: 2.0.1-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL

Accepted dot2tex 1.5.1-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 20 Mar 2007 01:54:53 + Source: dot2tex Binary: dot2tex Architecture: source all Version: 1.5.1-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL

Accepted otter 3.3f-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Sun, 5 Nov 2006 22:42:36 + Source: otter Binary: otter mace2 formed Architecture: source i386 Version: 3.3f-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne

Accepted dot2tex 1.5.0-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: RIPEMD160 Format: 1.7 Date: Tue, 5 Dec 2006 10:24:24 + Source: dot2tex Binary: dot2tex Architecture: source all Version: 1.5.0-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne

Accepted pydot 0.9.10-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: RIPEMD160 Format: 1.7 Date: Wed, 8 Nov 2006 15:52:04 + Source: pydot Binary: python-pydot Architecture: source all Version: 0.9.10-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne

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 Programming Lang: Python

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 Lang: Python Description

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 Programming Lang: C

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).

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 propose to create a tool that will build

Accepted tcpser 1.0rc10-1 (source i386)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.7 Date: Tue, 4 Jul 2006 18:17:01 -0700 Source: tcpser Binary: tcpser Architecture: source i386 Version: 1.0rc10-1 Distribution: unstable Urgency: low Maintainer: Peter Collingbourne [EMAIL PROTECTED] Changed-By: Peter Collingbourne [EMAIL

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 Programming Lang: C

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 +, 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 have also been working on a similar thing

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 +, Peter Collingbourne wrote: 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

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