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

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

Processed: ITP: FWTS -- Firmware Test Suite

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Processed: Re: Setting blocker bugs for fontmake

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

Processed: Re: Setting blocker bugs for fontmake

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)

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

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

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

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

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

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 :

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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.

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

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

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

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

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

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,

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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