Bug#757192: RFA: cvc3 - Automatic theorem prover for SMT problems

2014-08-06 Thread Christopher L Conway
Package: wnpp Severity: normal X-Debbugs-CC: mdet...@cs.nyu.edu

Bug#757193: ITP: libnumber-phone-perl -- base class for parsing and dealing with phone numbers

2014-08-06 Thread Michael Prokop
Package: wnpp Severity: wishlist Owner: Michael Prokop m...@debian.org * Package name: libnumber-phone-perl Version : 3.0001 Upstream Author : David Cantrell * URL : http://search.cpan.org/~dcantrell/Number-Phone-3.0001/ * License : Artistic / GPLv2

Bug#757198: RFP: lxqt-config-randr-0.7.0 -- Simple monitor configuration for LXQt

2014-08-06 Thread Wen Liao
Package: wnpp Severity: wishlist * Package name: lxqt-config-randr Version : 0.7.0 Upstream Author : LXQt team: http://lxqt.org Francisco Ballina Sanchez zballin...@gmail.com * URL : https://github.com/lxde/lxqt-config-randr * License

Bug#650394: updated packages available

2014-08-06 Thread Matthias Klose
now the package has an ITP again, without many action. I did update the packaging, and built it here: https://launchpad.net/~doko/+archive/ubuntu/toolchain/+sourcepub/4325100/+listing-archive-extra final package currently in https://launchpad.net/ubuntu/utopic/+queue?queue_state=0 if accepted,

Bug#756022: ITP: apt-transport-s3 -- APT transport for privately held AWS S3 repositories

2014-08-06 Thread Marcin Kulisz
On 2014-07-26 15:25:32, David Kalnischkies wrote: Hi David, That is surprising to see. It seems to be a slightly modified 6 years old copy of apt's http method (with all its bugs of course) which just got 2 years ago GPLv3(+) headers. Taking above on board I decided to write whole S3

Bug#549409: status of CoinMP ITP?

2014-08-06 Thread Rene Engelhard
ownwr 549409 ! thanks Hi, On Tue, Aug 05, 2014 at 11:10:48PM -0600, Miles Lubin wrote: I just released ownership of this RFP. I no longer intend to package CoinMP. The main reason for this is that the next release of Cbc will include a native C interface (written by myself), making CoinMP

Processed: owner 549409, retitle 549409 to ITP: coinor-coinmp -- a C API for coinor-cbc

2014-08-06 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: owner 549409 Rene Engelhard r...@debian.org Bug #549409 [wnpp] RFP: coinor-coinmp -- a C API for coinor-cbc Owner recorded as Rene Engelhard r...@debian.org. retitle 549409 ITP: coinor-coinmp -- a C API for coinor-cbc Bug #549409 [wnpp] RFP:

Bug#757227: ITP: memcacheq -- Simple queue service over memcache

2014-08-06 Thread Carl Chenet
Package: wnpp Severity: wishlist Owner: Carl Chenet cha...@debian.org * Package name: memcacheq Version : 0.2.0 Upstream Author : Steve Chu stv...@gmail.com * URL : http://memcachedb.org/memcacheq/ * License : BSD Programming Lang: C Description :

Bug#757228: RFA: libgraphite-php -- PHP Linked Data Library

2014-08-06 Thread Olivier Berger
Package: wnpp Severity: normal Hi. I expect a lack of availability to maintain some of my packages in the coming months, so anyone interested in libgraphite-php is very much welcome in adopting it. Thanks in advance. Best regards, -- Olivier BERGER

Bug#757229: ITP: dh-dist-zilla -- debhelper add-on to call dzil build and clean up after the build

2014-08-06 Thread Elmar S. Heeb
Package: wnpp Severity: wishlist Owner: Elmar S. Heeb el...@heebs.ch * Package name: dh-dist-zilla Version : 1 Upstream Author : Elmar S. Heeb el...@heebs.ch, Axel Beckert a...@debian.org * URL : https://github.com/elmar/dh-dist-zilla * License

Bug#757230: RFA: php-arc -- Flexible RDF system for semantic web and PHP practitioners

2014-08-06 Thread Olivier Berger
Package: wnpp Severity: normal I expect a lack of availability to maintain some of my packages in the coming months, so anyone interested in php-arc is very much welcome in adopting it. The package description is: ARC2 is a PHP 5.3 library for working with RDF. . It offers the following

Bug#757231: RFA: php-cas -- Central Authentication Service client library in php

2014-08-06 Thread Olivier Berger
Package: wnpp Severity: normal Hi. I expect a lack of availability to maintain some of my packages in the coming months, so anyone interested in php-cas is very much welcome in adopting it. The package may need some work for updating to latest upstream, but I don't really have a clear idea of

Bug#757192: RFA: cvc3 - Automatic theorem prover for SMT problems

2014-08-06 Thread Morgan Deters
retitle 757192 ITA: cvc3 - Automatic theorem prover for SMT problems owner 757192 !

Processed: your mail

2014-08-06 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: retitle 757192 ITA: cvc3 - Automatic theorem prover for SMT problems Bug #757192 [wnpp] RFA: cvc3 - Automatic theorem prover for SMT problems Changed Bug title to 'ITA: cvc3 - Automatic theorem prover for SMT problems' from 'RFA: cvc3 - Automatic

Bug#756437: marked as done (ITP: ruby-kramdown-rfc2629 -- generate xml2rfc xml from markdown)

2014-08-06 Thread Debian Bug Tracking System
Your message dated Wed, 06 Aug 2014 13:00:06 + with message-id e1xf0p4-0003co...@franck.debian.org and subject line Bug#756437: fixed in ruby-kramdown-rfc2629 1.0.15-1 has caused the Debian Bug report #756437, regarding ITP: ruby-kramdown-rfc2629 -- generate xml2rfc xml from markdown to be

Bug#557671: I do not unstsnd what going on pleas sent a emsil that subj.

2014-08-06 Thread RobertBradford94

Bug#753062: marked as done (ITP: node-crc32-stream -- a streaming CRC32 checksumer)

2014-08-06 Thread Debian Bug Tracking System
Your message dated Wed, 6 Aug 2014 07:16:10 -0700 with message-id CACXN+=sspfbe0sywpesfv30jgmd--e66itrucrqyx0edc0t...@mail.gmail.com and subject line has caused the Debian Bug report #753062, regarding ITP: node-crc32-stream -- a streaming CRC32 checksumer to be marked as done. This means that

Bug#753067:

2014-08-06 Thread Andrew Kelley
I no longer intend to package this module.

Bug#753067: marked as done (ITP: node-deflate-crc32-stream -- streaming deflater with CRC32 checksumer)

2014-08-06 Thread Debian Bug Tracking System
Your message dated Wed, 6 Aug 2014 07:25:35 -0700 with message-id CACXN+=tgjg5ktv7cqdwx7uixfgkbcau42wbeaq4rgmgxnpx...@mail.gmail.com and subject line has caused the Debian Bug report #753067, regarding ITP: node-deflate-crc32-stream -- streaming deflater with CRC32 checksumer to be marked as

Bug#650394: updated packages available

2014-08-06 Thread Yaroslav Halchenko
On Wed, 06 Aug 2014, Matthias Klose wrote: now the package has an ITP again, without many action. I did update the packaging, and built it here: https://launchpad.net/~doko/+archive/ubuntu/toolchain/+sourcepub/4325100/+listing-archive-extra final package currently in

Processed: tagging 757158

2014-08-06 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: tags 757158 + confirmed pending Bug #757158 [wnpp] ITP: lua-nginx-websocket -- Lua websocket client driver for the nginx embedded Lua language Added tag(s) confirmed and pending. thanks Stopping processing here. Please contact me if you need

Processed: owner 330203

2014-08-06 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: owner 330203 ! Bug #330203 [wnpp] RFP: php-propel -- PHP5 object persistence layer based on Apache Torque Owner recorded as David Prévot taf...@debian.org. thanks Stopping processing here. Please contact me if you need assistance. -- 330203:

Bug#650394: [Pkg-tigervnc-devel] Bug#650394: updated packages available

2014-08-06 Thread Yaroslav Halchenko
would you also mind to clarify the origin of patches under debian/patchdir/f/ ? for now I have pushed all that stuff (with just changelog and gbp.conf adjusted and watch file added) into our GIT. On Wed, 06 Aug 2014, Matthias Klose wrote: now the package has an ITP again, without many action.

Bug#757245: ITP: libdist-zilla-plugin-ourpkgversion-perl -- Alternative to DZP::PkgVersion with no line insertion and our

2014-08-06 Thread Axel Beckert
Package: wnpp Owner: Axel Beckert a...@debian.org Severity: wishlist * Package name: libdist-zilla-plugin-ourpkgversion-perl Version : 0.005001 Upstream Author : Caleb Cushing xenoterrac...@gmail.com * URL or Web page : https://metacpan.org/release/Dist-Zilla-Plugin-OurPkgVersion

Processed: gpivtools: diff for NMU version 0.6.0-3.1

2014-08-06 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: tags 656665 + patch Bug #656665 [wnpp] ITP: globalplatform -- library to handle communication with GlobalPlatform cards Added tag(s) patch. tags 656665 + pending Bug #656665 [wnpp] ITP: globalplatform -- library to handle communication with

Bug#650394: [Pkg-tigervnc-devel] updated packages available

2014-08-06 Thread Yaroslav Halchenko
On Wed, 06 Aug 2014, Yaroslav Halchenko wrote: - debian/rules has include /usr/share/xserver-xorg/configure_flags.mk now -- but where that file supposed to come from? can't locate it... my quick discussions on IRC I believe didn't finalize in shipping that one along within

Bug#656665: gpivtools: diff for NMU version 0.6.0-3.1

2014-08-06 Thread Gilles Filippini
tags 656665 + patch tags 656665 + pending thanks Dear maintainer, I've prepared an NMU for gpivtools (versioned as 0.6.0-3.1) and uploaded it to DELAYED/5. Please feel free to tell me if I should delay it longer. Regards. _g. diff -Nru gpivtools-0.6.0/debian/changelog

Bug#691819: marked as done (ITA: aclock.app -- Analog dockapp clock for GNUstep)

2014-08-06 Thread Debian Bug Tracking System
Your message dated Wed, 06 Aug 2014 15:49:09 + with message-id e1xf3sf-00080u...@franck.debian.org and subject line Bug#691819: fixed in aclock.app 0.4.0-1 has caused the Debian Bug report #691819, regarding ITA: aclock.app -- Analog dockapp clock for GNUstep to be marked as done. This means

Processed: block 330203 with 283085

2014-08-06 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: block 330203 with 283085 Bug #330203 [wnpp] RFP: php-propel -- PHP5 object persistence layer based on Apache Torque 330203 was not blocked by any bugs. 330203 was not blocking any bugs. Added blocking bug(s) of 330203: 283085 thanks Stopping

Processed: qmapshack: block ITP 756064 by RFS 757243

2014-08-06 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: block 756064 by 757243 Bug #756064 [wnpp] ITP: qmapshack -- GPS mapping and GPSr management 756064 was not blocked by any bugs. 756064 was not blocking any bugs. Added blocking bug(s) of 756064: 757243 stop Stopping processing here. Please

Processed: RFP: php-propel -- PHP5 object persistence layer based on Apache Torque

2014-08-06 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: noowner 330203 Bug #330203 [wnpp] RFP: php-propel -- PHP5 object persistence layer based on Apache Torque Removed annotation that Bug was owned by David Prévot taf...@debian.org. stop Stopping processing here. Please contact me if you need

Bug#757249: ITP: fonts-ekmukta -- humanist, mono-linear typeface for Devanagari and Latin scripts

2014-08-06 Thread Vasudev Kamath
Package: wnpp Severity: wishlist Owner: Vasudev Kamath kamathvasu...@gmail.com * Package name: fonts-ekmukta Version : 1.2.2 Upstream Author : Girish Dalvi girish.da...@gmail.com * URL : https://github.com/girish-dalvi/Ek-Mukta * License : OFL-1.1 Programming

Processed: Pending fixes for bugs in the libdist-zilla-plugin-ourpkgversion-perl package

2014-08-06 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: tag 757245 + pending Bug #757245 [wnpp] ITP: libdist-zilla-plugin-ourpkgversion-perl -- Alternative to DZP::PkgVersion with no line insertion and our Added tag(s) pending. thanks Stopping processing here. Please contact me if you need

Bug#757245: Pending fixes for bugs in the libdist-zilla-plugin-ourpkgversion-perl package

2014-08-06 Thread pkg-perl-maintainers
tag 757245 + pending thanks Some bugs in the libdist-zilla-plugin-ourpkgversion-perl package are closed in revision d575450b2acdbbd6837040d30126189c39adda18 in branch 'master' by Axel Beckert The full diff can be seen at

Processed: your mail

2014-08-06 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: retitle 757180 RFS: pw3270/5.0.0 [ITP] -- GTK IBM 3270 terminal emulator Bug #757180 [sponsorship-requests] RFS: pw3270 [NMU] [ITP] -- an IBM 3270 Terminal emulator for gtk Changed Bug title to 'RFS: pw3270/5.0.0 [ITP] -- GTK IBM 3270 terminal

Bug#695712: marked as done (ITP: smtpprox-loopprevent -- Transparent SMTP proxy to prevent mail forwarding loops)

2014-08-06 Thread Debian Bug Tracking System
Your message dated Wed, 06 Aug 2014 17:00:13 + with message-id e1xf4zr-0007bf...@franck.debian.org and subject line Bug#695712: fixed in smtpprox-loopprevent 0.1-1 has caused the Debian Bug report #695712, regarding ITP: smtpprox-loopprevent -- Transparent SMTP proxy to prevent mail

Bug#695713: marked as done (ITP: smtpprox -- trivial transparent SMTP proxy)

2014-08-06 Thread Debian Bug Tracking System
Your message dated Wed, 06 Aug 2014 17:00:12 + with message-id e1xf4zq-0007aw...@franck.debian.org and subject line Bug#695713: fixed in smtpprox 1.2-1 has caused the Debian Bug report #695713, regarding ITP: smtpprox -- trivial transparent SMTP proxy to be marked as done. This means that you

Bug#756615: marked as done (ITP: ruby-jekyll-paginate -- Default pagination generator for Jekyll)

2014-08-06 Thread Debian Bug Tracking System
Your message dated Wed, 06 Aug 2014 17:00:11 + with message-id e1xf4zp-0007al...@franck.debian.org and subject line Bug#756615: fixed in ruby-jekyll-paginate 1.0.0-1 has caused the Debian Bug report #756615, regarding ITP: ruby-jekyll-paginate -- Default pagination generator for Jekyll to be

Bug#756884: marked as done (ITP: ruby-spring -- Rails application preloader)

2014-08-06 Thread Debian Bug Tracking System
Your message dated Wed, 06 Aug 2014 17:00:12 + with message-id e1xf4zq-0007ae...@franck.debian.org and subject line Bug#756884: fixed in ruby-spring 1.1.3-1 has caused the Debian Bug report #756884, regarding ITP: ruby-spring -- Rails application preloader to be marked as done. This means

Processed: retitle 330203 to ITP: php-propel-runtime -- runtime component of the Propel PHP object persistence layer ...

2014-08-06 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: retitle 330203 ITP: php-propel-runtime -- runtime component of the Propel PHP object persistence layer Bug #330203 [wnpp] RFP: php-propel -- PHP5 object persistence layer based on Apache Torque Changed Bug title to 'ITP: php-propel-runtime --

Bug#757257: RFA: libthrift-java -- Java language support for Thrift

2014-08-06 Thread Eric Evans
Package: wnpp Severity: normal I don't use Thrift anymore and feel that it'd be better maintained by someone with more genuine interest. This package has one (trivial )open issue, renaming the installed jar from libthrift-java.jar to thrift.jar (#730213). Thanks, -- Eric Evans

Bug#757258: RFA: python-thrift -- Python library for Thrift

2014-08-06 Thread Eric Evans
Package: wnpp Severity: normal I don't use Thrift anymore and feel that it'd be better maintained by someone with more genuine interest. This package has no outstanding issues. -- Eric Evans eev...@sym-link.com signature.asc Description: Digital signature

Bug#757256: RFA: thrift-compiler -- code generator/compiler for Thrift definitions

2014-08-06 Thread Eric Evans
Package: wnpp Severity: normal I don't use Thrift anymore and feel that it'd be better maintained by someone with more genuine interest. This package has one open bug, which is likely a non-issue after the most recent upload. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org

Bug#756009: RFS: python-pypuppetdb -- interface to the PuppetDB REST API

2014-08-06 Thread Jonas Genannt
Hello, I have done packaging for pypuppetdb (#756009). This library is needed for the puppetboard. (#754796) pypuppetdb (0.1.1+git080614-1) unstable; urgency=low . * Initial release. (Closes: #756009) Git Url: git+ssh://git.debian.org/git/pkg-puppet/python-pypuppetdb.git I would like to

Bug#757265: ITP: bgfinancas -- personal finances manager

2014-08-06 Thread José Robson Mariano Alves
Package: wnpp Owner: binarygroup binarygr...@hotmail.com Severity: wishlist Package name : bgfinancas Version: 2.0 Upstream Author : Jose Robson Mariano Alves binarygr...@hotmail.com URL : http://bgfinancas.sourceforge.net/ License

Bug#757279: ITP: neurodebian -- integrated software platform for neuroscience research

2014-08-06 Thread NeuroDebian Team
Package: wnpp Severity: wishlist Owner: NeuroDebian Team t...@neuro.debian.net * Package name: neurodebian Version : 0.33 Upstream Author : NeuroDebian Team t...@neuro.debian.net * URL : http://neuro.debian.net * License : GPL Programming Lang: Bash, Python,

Processed: limit package to wnpp, tagging 330203

2014-08-06 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: limit package wnpp Limiting to bugs with field 'package' containing at least one of 'wnpp' Limit currently set to 'package':'wnpp' tags 330203 + pending Bug #330203 [wnpp] ITP: php-propel-runtime -- runtime component of the Propel PHP object

Bug#757284: ITP: php-proxy-manager -- library providing utilities to operate with Object Proxies

2014-08-06 Thread David Prévot
Package: wnpp Severity: wishlist Owner: David Prévot taf...@debian.org Control: block 513646 by -1 * Package name: php-proxy-manager Version : 0.3.6 Upstream Author : Marco Pivetta ocram...@gmail.com * URL : https://github.com/Ocramius/ProxyManager * License :

Processed: ITP: php-proxy-manager -- library providing utilities to operate with Object Proxies

2014-08-06 Thread Debian Bug Tracking System
Processing control commands: block 513646 by -1 Bug #513646 [wnpp] ITP: symfony -- reusable set of PHP components Bug #533343 [wnpp] ITP: symfony -- reusable set of PHP components Bug #562167 [wnpp] ITP: symfony -- reusable set of PHP components 513646 was blocked by: 330203 749091 726276 513646

Bug#754473: marked as done (ITA: uriparser -- URI parsing library compliant with RFC)

2014-08-06 Thread Debian Bug Tracking System
Your message dated Wed, 06 Aug 2014 21:57:41 + with message-id e1xf9dj-00023i...@franck.debian.org and subject line Bug#754473: fixed in uriparser 0.8.0.1-1 has caused the Debian Bug report #754473, regarding ITA: uriparser -- URI parsing library compliant with RFC to be marked as done. This

Bug#756022: ITP: apt-transport-s3 -- APT transport for privately held AWS S3 repositories

2014-08-06 Thread Jakub Wilk
* David Kalnischkies da...@kalnischkies.de, 2014-07-26, 15:25: You don't need to write your credentials in a sources.list anymore (which should be world-readable) if your apt is recent enough (and with recent I mean at least oldstable). You can populate a netrc-like file at /etc/apt/auth.conf

Bug#757295: RFP: CHEAT -- A minimal unit testing framework for the C programming language

2014-08-06 Thread Sampsa Kiiskinen
Package: wnpp Severity: wishlist * Package Name: cheat Version: 1.0.0 Upstream Author: Sampsa Kiiskinen tuplano...@gmail.com * URL: http://github.com/Tuplanolla/cheat * License: BSD Programming Language: C Description: A