Bug#880546: RFP: Isabelle -- generic proof assistant

2017-11-01 Thread GengYu Rao
Package: wnpp Severity: wishlist * Package name    : Isabelle    Version : 2017    Upstream Author :  University of Cambridge * URL : http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html * License : BSD-3-Clause http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/I

Processed: ITP: FWTS -- Firmware Test Suite

2017-11-01 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > retitle 748783 ITP: fwts -- Firmware Test Suite for BIOS and ACPI Bug #748783 [wnpp] RFP: fwts -- firmware test suite PC firmware. It is intended to identify BIOS and ACPI errors and if appropriate it will try to explain the errors and give advi

Bug#880541: RFP: unison2.48.3 -- file-synchronization tool for Unix and Windows

2017-11-01 Thread Vincent Lefevre
Package: wnpp Severity: wishlist * Package name: unison2.48.3 Version : 2.48.3 Upstream Author : Benjamin Pierce * URL : see unison package from stretch * License : see unison package from stretch Programming Lang: OCaml Description : file-synchronizati

Bug#687991: marked as done (RFP: stegfs -- Stegfs is a Fuse based file system which provides absolute security)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 22:19:55 + with message-id and subject line closing RFP: stegfs -- Stegfs is a Fuse based file system which provides absolute security has caused the Debian Bug report #687991, regarding RFP: stegfs -- Stegfs is a Fuse based file system which provides abso

Processed: retitle to RFP: ansi2gif -- create graphical output in gif format

2017-11-01 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > retitle 832902 RFP: ansi2gif -- create graphical output in gif format Bug #832902 [wnpp] ITP: ansi2gif -- create graphical output in gif format Changed Bug title to 'RFP: ansi2gif -- create graphical output in gif format' from 'ITP: ansi2gif -- c

Processed: retitle to RFP: brumbrumrally -- 2D racing game with a new track each time you play

2017-11-01 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > retitle 832904 RFP: brumbrumrally -- 2D racing game with a new track each > time you play Bug #832904 [wnpp] ITP: brumbrumrally -- 2D racing game with a new track each time you play Changed Bug title to 'RFP: brumbrumrally -- 2D racing game with

Processed: retitle to RFP: openhft-chronicle-values -- Poor man's value types for Java 8+

2017-11-01 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > retitle 832946 RFP: openhft-chronicle-values -- Poor man's value types for > Java 8+ Bug #832946 [wnpp] ITP: openhft-chronicle-values -- Poor man's value types for Java 8+ Changed Bug title to 'RFP: openhft-chronicle-values -- Poor man's value t

Bug#688055: marked as done (RFP: sportstracker -- An application for recording sporting activities)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 22:19:55 + with message-id and subject line closing RFP: sportstracker -- An application for recording sporting activities has caused the Debian Bug report #688057, regarding RFP: sportstracker -- An application for recording sporting activities to be marke

Bug#688057: marked as done (RFP: sportstracker -- An application for recording sporting activities)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 22:19:55 + with message-id and subject line closing RFP: sportstracker -- An application for recording sporting activities has caused the Debian Bug report #688057, regarding RFP: sportstracker -- An application for recording sporting activities to be marke

Processed: Re: Bug#880516: RFP : qtscxml-opensource-src bug

2017-11-01 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > retitle 880516 RFP: qtscxml-opensource-src -- Qt module for creating state > machines from SCXML files Bug #880516 [wnpp] RFP : qtscxml-opensource-src bug Changed Bug title to 'RFP: qtscxml-opensource-src -- Qt module for creating state machines

Processed: Re: Setting blocker bugs for fontmake

2017-11-01 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > block 865283 by 868005 Bug #865283 [wnpp] RFP: fontmake -- Compile fonts from sources (UFO, Glyphs) to binary (OpenType, TrueType) 865283 was blocked by: 806004 806513 806005 806006 806503 868004 865283 was not blocking any bugs. Added blocking b

Processed: Re: Setting blocker bugs for fontmake

2017-11-01 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > block 865283 by 868004 Bug #865283 [wnpp] RFP: fontmake -- Compile fonts from sources (UFO, Glyphs) to binary (OpenType, TrueType) 865283 was blocked by: 806005 806006 806503 806513 806004 865283 was not blocking any bugs. Added blocking bug(s) o

Processed (with 3 errors): Setting blocker bugs for fontmake

2017-11-01 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > block 865283 by 806004 Bug #865283 [wnpp] RFP: fontmake -- Compile fonts from sources (UFO, Glyphs) to binary (OpenType, TrueType) 865283 was not blocked by any bugs. 865283 was not blocking any bugs. Added blocking bug(s) of 865283: 806004 Faile

Bug#852133: marked as done (ITA: keras -- deep learning framework running on Theano or TensorFlow)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 16:49:11 + with message-id and subject line Bug#852133: fixed in keras 1.0.7-2 has caused the Debian Bug report #852133, regarding ITA: keras -- deep learning framework running on Theano or TensorFlow to be marked as done. This means that you claim that the

Bug#852133: ITA: keras -- deep learning framework running on Theano or TensorFlow

2017-11-01 Thread Daniel Stender
On Wed, 1 Nov 2017 12:44:47 -0300 Stephen Sinclair wrote: > Package: sponsorship-requests > Severity: normal > > Dear mentors, > > I am looking for a sponsor for the following package: > > * Package name: keras > Version : 1.0.7-2 > Upstream Author : François Chollet > * URL

Bug#852133: ITA: keras -- deep learning framework running on Theano or TensorFlow

2017-11-01 Thread Stephen Sinclair
Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for the following package: * Package name: keras Version : 1.0.7-2 Upstream Author : François Chollet * URL : http://keras.io/ * License : MIT Section : python O

Bug#880516: RFP : qtscxml-opensource-src bug

2017-11-01 Thread laurent Trinques
Package: wnpp Severity: RFP Dear mentors, I am looking for a sponsor to package and/or upload "qtscxml" https://doc.qt.io/qt-5/qscxmlc.html Thanks for your consideration.

Processed: forcibly merging 782432 880500

2017-11-01 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > forcemerge 782432 880500 Bug #782432 [wnpp] O: cronolog -- Logfile rotator for web servers Bug #880500 [wnpp] O: cronolog -- Logfile rotator for web servers Merged 782432 880500 > thanks Stopping processing here. Please contact me if you need ass

Bug#880500: O: cronolog -- Logfile rotator for web servers

2017-11-01 Thread Christoph Egger
Package: wnpp Severity: normal I intend to orphan the cronolog package. I sponsored this package once in 2011 and -- as far as I can tell there was no second contribution from the sponsee ever. I'm about to upload a cleanup with Maintainer set to the QA group now. Please pick it up if you're inte

Bug#877579: marked as done (ITP: node-d3-collection -- Handy data structures for elements keyed by string)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:13 + with message-id and subject line Bug#877579: fixed in node-d3-drag 1.1.1-1 has caused the Debian Bug report #877579, regarding ITP: node-d3-collection -- Handy data structures for elements keyed by string to be marked as done. This means that yo

Bug#877520: marked as done (ITP: node-d3-dispatch -- Register named callbacks and call them with arguments)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:13 + with message-id and subject line Bug#877520: fixed in node-d3-dispatch 1.0.3-1 has caused the Debian Bug report #877520, regarding ITP: node-d3-dispatch -- Register named callbacks and call them with arguments to be marked as done. This means th

Bug#877522: marked as done (ITP: node-d3-ease -- Easing functions for smooth animation)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:14 + with message-id and subject line Bug#877522: fixed in node-d3-ease 1.0.3-1 has caused the Debian Bug report #877522, regarding ITP: node-d3-ease -- Easing functions for smooth animation to be marked as done. This means that you claim that the pro

Bug#877179: marked as done (ITP: node-ua-parser-js -- Lightweight JavaScript-based user-agent string parser)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:21 + with message-id and subject line Bug#877179: fixed in node-ua-parser-js 0.7.14-1 has caused the Debian Bug report #877179, regarding ITP: node-ua-parser-js -- Lightweight JavaScript-based user-agent string parser to be marked as done. This means

Bug#877408: marked as done (ITP: node-parallel-transform -- Runs transforms in parallel)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:18 + with message-id and subject line Bug#877408: fixed in node-parallel-transform 1.1.0-1 has caused the Debian Bug report #877408, regarding ITP: node-parallel-transform -- Runs transforms in parallel to be marked as done. This means that you claim

Bug#877155: marked as done (ITP: node-registry-url -- Get the set npm registry URL)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:19 + with message-id and subject line Bug#877155: fixed in node-registry-url 3.1.0-1 has caused the Debian Bug report #877155, regarding ITP: node-registry-url -- Get the set npm registry URL to be marked as done. This means that you claim that the pr

Bug#877143: marked as done (ITP: node-node-dir -- asynchronous file and directory operations for Node.js)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:18 + with message-id and subject line Bug#877143: fixed in node-node-dir 0.1.17-1 has caused the Debian Bug report #877143, regarding ITP: node-node-dir -- asynchronous file and directory operations for Node.js to be marked as done. This means that y

Bug#877136: marked as done (ITP: node-any-promise -- Resolve any installed ES6 compatible promise)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:12 + with message-id and subject line Bug#877136: fixed in node-any-promise 1.3.0-1 has caused the Debian Bug report #877136, regarding ITP: node-any-promise -- Resolve any installed ES6 compatible promise to be marked as done. This means that you cla

Bug#877501: marked as done (ITP: node-d3-interpolate -- Interpolate numbers, colors, strings, arrays, objects, whatever!)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:14 + with message-id and subject line Bug#877501: fixed in node-d3-interpolate 1.1.5-1 has caused the Debian Bug report #877501, regarding ITP: node-d3-interpolate -- Interpolate numbers, colors, strings, arrays, objects, whatever! to be marked as don

Bug#877079: marked as done (ITP: node-tacks -- Generate fixture modules from folders)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:20 + with message-id and subject line Bug#877079: fixed in node-tacks 1.2.6-1 has caused the Debian Bug report #877079, regarding ITP: node-tacks -- Generate fixture modules from folders to be marked as done. This means that you claim that the problem

Bug#877156: marked as done (ITP: node-registry-auth-token -- Get the auth token set for an npm registry (if any))

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:19 + with message-id and subject line Bug#877156: fixed in node-registry-auth-token 3.3.1-1 has caused the Debian Bug report #877156, regarding ITP: node-registry-auth-token -- Get the auth token set for an npm registry (if any) to be marked as done.

Bug#877475: marked as done (ITP: node-thenify -- Promisify a callback-based function)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:20 + with message-id and subject line Bug#877475: fixed in node-thenify 3.3.0-1 has caused the Debian Bug report #877475, regarding ITP: node-thenify -- Promisify a callback-based function to be marked as done. This means that you claim that the probl

Bug#877095: marked as done (ITP: node-address -- Get current machine IP, MAC and DNS servers)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:11 + with message-id and subject line Bug#877095: fixed in node-address 1.0.3-1 has caused the Debian Bug report #877095, regarding ITP: node-address -- Get current machine IP, MAC and DNS servers to be marked as done. This means that you claim that t

Bug#877070: marked as done (ITP: node-p-map -- Map over promises concurrently)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:18 + with message-id and subject line Bug#877070: fixed in node-p-map 1.2.0-1 has caused the Debian Bug report #877070, regarding ITP: node-p-map -- Map over promises concurrently to be marked as done. This means that you claim that the problem has be

Bug#877071: marked as done (ITP: node-fs-write-stream-atomic -- Like fs.createWriteStream(...), but atomic)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:15 + with message-id and subject line Bug#877071: fixed in node-fs-write-stream-atomic 1.0.10-1 has caused the Debian Bug report #877071, regarding ITP: node-fs-write-stream-atomic -- Like fs.createWriteStream(...), but atomic to be marked as done. T

Bug#877064: marked as done (ITP: node-cli-truncate -- Truncate a string to a specific width in the terminal)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:12 + with message-id and subject line Bug#877064: fixed in node-cli-truncate 1.1.0-1 has caused the Debian Bug report #877064, regarding ITP: node-cli-truncate -- Truncate a string to a specific width in the terminal to be marked as done. This means

Bug#876960: marked as done (ITP: node-decompress-response -- Decompress a HTTP response if needed)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:15 + with message-id and subject line Bug#876960: fixed in node-decompress-response 3.3.0-1 has caused the Debian Bug report #876960, regarding ITP: node-decompress-response -- Decompress a HTTP response if needed to be marked as done. This means tha

Bug#854435: marked as done (ITP: node-write-file-atomic -- Write files in an atomic fashion w/configurable ownership)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:21 + with message-id and subject line Bug#854435: fixed in node-write-file-atomic 2.3.0-1 has caused the Debian Bug report #854435, regarding ITP: node-write-file-atomic -- Write files in an atomic fashion w/configurable ownership to be marked as done

Bug#809493: marked as done (ITP: node-browser-unpack -- parse a bundle)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:12 + with message-id and subject line Bug#809493: fixed in node-browser-unpack 1.2.0-1 has caused the Debian Bug report #809493, regarding ITP: node-browser-unpack -- parse a bundle to be marked as done. This means that you claim that the problem has

Bug#850255: marked as done (ITP: node-is-retry-allowed -- My prime module)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:16 + with message-id and subject line Bug#850255: fixed in node-is-retry-allowed 1.1.0-1 has caused the Debian Bug report #850255, regarding ITP: node-is-retry-allowed -- My prime module to be marked as done. This means that you claim that the problem

Bug#876625: marked as done (ITP: node-globby -- Extends `glob` with support for multiple patterns and exposes, a Promise API.)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:16 + with message-id and subject line Bug#876625: fixed in node-globby 6.1.0-1 has caused the Debian Bug report #876625, regarding ITP: node-globby -- Extends `glob` with support for multiple patterns and exposes, a Promise API. to be marked as done.

Bug#873844: marked as done (ITP: node-jszip-utils -- collection of cross-browser utilities to go along with JSZip)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:17 + with message-id and subject line Bug#873844: fixed in node-jszip-utils 0.0.2+dfsg-1 has caused the Debian Bug report #873844, regarding ITP: node-jszip-utils -- collection of cross-browser utilities to go along with JSZip to be marked as done. T

Bug#876719: marked as done (ITP: node-match-at -- Relocatable regular expressions)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:17 + with message-id and subject line Bug#876719: fixed in node-match-at 0.1.1-1 has caused the Debian Bug report #876719, regarding ITP: node-match-at -- Relocatable regular expressions to be marked as done. This means that you claim that the problem

Bug#876736: marked as done (ITP: node-deep-for-each -- Recursively iterates collection values (arrays and objects))

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:15 + with message-id and subject line Bug#876736: fixed in node-deep-for-each 1.0.6+dfsg-1 has caused the Debian Bug report #876736, regarding ITP: node-deep-for-each -- Recursively iterates collection values (arrays and objects) to be marked as done.

Bug#868516: marked as done (ITP: node-run-queue -- promise based dynamic priority queue runner)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 11:00:19 + with message-id and subject line Bug#868516: fixed in node-run-queue 1.0.3-1 has caused the Debian Bug report #868516, regarding ITP: node-run-queue -- promise based dynamic priority queue runner to be marked as done. This means that you claim th

Processed: dde-qt-dbus-factory: block ITP 880444 by RFS 880496

2017-11-01 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > block 880444 by 880496 Bug #880444 [wnpp] ITP: dde-qt-dbus-factory -- Qt DBus interface library for Deepin software 880444 was not blocked by any bugs. 880444 was not blocking any bugs. Added blocking bug(s) of 880444: 880496 > stop Stopping proc

Processed: retitle to RFP: python-gavovotable -- library for Virtual Observatory VOTables

2017-11-01 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > retitle 832884 RFP: python-gavovotable -- library for Virtual Observatory > VOTables Bug #832884 [wnpp] ITP: python-gavovotable -- library for Virtual Observatory VOTables Changed Bug title to 'RFP: python-gavovotable -- library for Virtual Obs

Processed: retitle to RFP: golang-github-creack-termios -- Multi Platform Golang terminal management: Raw mode, TTY size.

2017-11-01 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > retitle 809191 RFP: golang-github-creack-termios -- Multi Platform Golang > terminal management: Raw mode, TTY size. Bug #809191 [wnpp] ITP: golang-github-creack-termios -- Multi Platform Golang terminal management: Raw mode, TTY size. Changed B

Bug#878248: marked as done (ITP: python-ovsdbapp -- library for creating OVSDB applications)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 10:00:21 + with message-id and subject line Bug#878248: fixed in python-ovsdbapp 0.4.0-1 has caused the Debian Bug report #878248, regarding ITP: python-ovsdbapp -- library for creating OVSDB applications to be marked as done. This means that you claim that

Bug#869918: marked as done (ITP: node-opener -- It allows the user to open web pages and executable files in the desktop environment.)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 10:00:21 + with message-id and subject line Bug#869918: fixed in node-opener 1.4.3-1 has caused the Debian Bug report #869918, regarding ITP: node-opener -- It allows the user to open web pages and executable files in the desktop environment. to be marked a

Bug#876346: marked as done (ITP: node-gulp-changed -- gulp plugin to only pass through changed files)

2017-11-01 Thread Debian Bug Tracking System
Your message dated Wed, 01 Nov 2017 10:00:20 + with message-id and subject line Bug#876346: fixed in node-gulp-changed 3.1.0-1 has caused the Debian Bug report #876346, regarding ITP: node-gulp-changed -- gulp plugin to only pass through changed files to be marked as done. This means that yo