Bug#801484: ITP: coq-areamethod -- coq library for the area method decision procedure

Package: wnpp Severity: wishlist Owner: Riley Baird * Package name: coq-areamethod Version : 8.4+20150823 Upstream Author : Julien Narboux * URL : http://dpt-info.u-strasbg.fr/~narboux/area_method.html * License : GPL-2+ Programming Lang: Coq Description

Processed: tagging 644932

Processing commands for cont...@bugs.debian.org: > tags 644932 + pending Bug #644932 [wnpp] ITP: ndppd -- a daemon that proxies IPv6 NDP messages Added tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 644932: http://bugs.debian.org/cgi-bin/bugreport

Bug#738905: New Maintainer

Hello I would like to help out and looking for a way to become a maintainer, can I get some help on how to set started. Eventually I would like to contribute as a developer, I have several years of professional C++ work experience. Thanks!

Processed: [RFC] Proposal for a new linux-grsec source package

Processing control commands: > reassign -1 wnpp Bug #605090 [src:linux] linux-2.6: [RFC] Add a grsec featureset to Debian kernels Bug reassigned from package 'src:linux' to 'wnpp'. No longer marked as found in versions linux-2.6/2.6.32-28. Ignoring request to alter fixed versions of bug #605090 t

Bug#801466: ITP: fastd -- Fast and Secure Tunneling Daemon

Package: wnpp Severity: wishlist Owner: "Steffen Möller" * Package name: fastd Version : 17 Upstream Author : Matthias Schiffer * URL : https://projects.universe-factory.net/projects/fastd * License : custom Programming Lang: C Description : Fast and Se

Processed: ITP: bootstrap-tour -- Build product tours

Processing commands for cont...@bugs.debian.org: > owner 801443 Julien Puydt Bug #801443 [wnpp] ITP: bootstrap-tour -- Build product tours Owner recorded as Julien Puydt . > stop Stopping processing here. Please contact me if you need assistance. -- 801443: http://bugs.debian.org/cgi-bin/bugrep

Bug#796355: node-readable-stream ITP update

Hi, - node-core-util-is is in NEW (https://ftp-master.debian.org/new/node-core-util-is_1.0.1-1.html) - node-isarray is in NEW (https://ftp-master.debian.org/new/node-isarray_0.0.1-1.html) - node-string-decoder fails to build due to failing tests (and probably because nodejs 4.x is not supported.

Bug#779998: node-string-decoder: Failing tests & not supporting nodejs 4.x yet

Hi, I just investigated why the upstream tests are failing today, and it is probably related to the recent switch to nodejs 4.1.1 in unstable. I emailed Rod Vagg and he has not yet replied. As his string-decoder is a fork of another string-decoder, I also raised an issue there: https://github.co

Processed: ITA: RFA: httping -- ping-like program for http-requests

Processing commands for cont...@bugs.debian.org: > retitle 800751 ITA: RFA: httping -- ping-like program for http-requests Bug #800751 [wnpp] RFA: httping -- ping-like program for http-requests Bug #800755 [wnpp] RFA: httping -- ping-like program for http-requests Changed Bug title to 'ITA: RFA: h

Bug#801453: O: python-jsonpify

Package: wnpp Severity: normal Package description: This package provides extension to Flask's core jsonify function, returning JSON padded response when a callback is specified as request's argument. . Its usage and implementation is same as flask.jsonify differing only when request has a

Bug#756888: marked as done (ITP: python-mwparserfromhell -- a parser for MediaWiki wikicode)

Your message dated Sat, 10 Oct 2015 11:00:18 + with message-id and subject line Bug#756888: fixed in mwparserfromhell 0.4.2-1 has caused the Debian Bug report #756888, regarding ITP: python-mwparserfromhell -- a parser for MediaWiki wikicode to be marked as done. This means that you claim tha

Bug#801443: ITP: bootstrap-tour -- Build product tours

Package: wnpp Severity: wishlist X-Debbugs-CC: pkg-javascript-de...@lists.alioth.debian.org * Package name: node-bootstrap-tour Version : 0.10.2 Upstream Author : Ulrich Sossou * URL : https://github.com/sorich87/bootstrap-tour * License : Apache-2.0 Programm