Bug#903152: ITP: minetest-mod-skyblock -- Minetest module to add a Crusoe-like minigame

2018-07-06 Thread Julien Puydt
Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: debian-de...@lists.debian.org, Debian Games Team * Package name    : minetest-mod-skyblock   Version : 0.2.3   Upstream Author : cornernote * URL : https://github.com/cornernote/minetest-skyblock/ * Lice

Bug#903151: ITP: minetest-mod-protector -- Minetest module to add protector blocks

2018-07-06 Thread Julien Puydt
Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: debian-de...@lists.debian.org, Debian Games Team * Package name    : minetest-mod-protector   Version : 2.6   Upstream Author : TenPlus1 * URL : https://notabug.org/TenPlus1/protector * License :

Bug#902174: #902174: RFP: mes

2018-07-06 Thread Vagrant Cascadian
On 2018-07-06, Vagrant Cascadian wrote: > On 2018-06-22, Geert Stappers wrote: >> Package name : mes >> Version : 0.15 >> Upstream Author : Jan Nieuwenhuizen >> URL : https://gitlab.com/janneke/mes >> License : GNU GPLv3 >> Programming Lang : C >> Descripti

Processed: backward-cpp: block ITP 902400 by RFS 903147

2018-07-06 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > block 902400 by 903147 Bug #902400 [wnpp] ITP: backward-cpp -- Beautiful stack trace pretty printer for C++ 902400 was not blocked by any bugs. 902400 was not blocking any bugs. Added blocking bug(s) of 902400: 903147 > stop Stopping processing h

Bug#902174: #902174: RFP: mes

2018-07-06 Thread Vagrant Cascadian
On 2018-06-22, Geert Stappers wrote: > Package name : mes > Version : 0.15 > Upstream Author : Jan Nieuwenhuizen > URL : https://gitlab.com/janneke/mes > License : GNU GPLv3 > Programming Lang : C > Description : Maxwell Equations of Software > > Mes aims t

Bug#903143: RFA: dafny

2018-07-06 Thread Benjamin Barenblat
Package: wnpp Severity: normal I request an adopter for the dafny package. The package description is: Dafny is a programming language with a program verifier. The verifier processes function preconditions, postconditions, and assertions, and sends them to an SMT solver for checking. In this

Bug#903142: RFA: boogie -- verifiable programming language (compiler)

2018-07-06 Thread Benjamin Barenblat
Package: wnpp Severity: normal I request an adopter for the boogie package. The package description is: Boogie is a compiler intermediate language with support for automatic invariant checking using an SMT solver such as Z3. It supports program verification for a variety of other, higher-leve

Bug#903136: RFP: spyder-kernels -- Jupyter kernels for the Spyder console

2018-07-06 Thread Ghislain Vaillant
Package: wnpp Severity: wishlist * Package name: spyder-kernels Version : 1.0.1 Upstream Author : Spyder Development Team * URL : https://github.com/spyder-ide/spyder-kernels * License : Expat Programming Lang: Python Description : Jupyter kernels for th

Bug#903134: ITP: milib -- library for Next Generation Sequencing (NGS) data processing

2018-07-06 Thread Steffen Moeller
Package: wnpp Severity: wishlist Owner: Steffen Moeller * Package name: milib Version : 1.8.4 * URL : https://github.com/milaboratory/milib * License : Apache Programming Lang: Java Description : library for Next Generation Sequencing (NGS) data processin

Bug#844229: WIP pushed to Salsa for anyone to take over

2018-07-06 Thread Ross Gammon
Waiting for node-catty, which is in NEW. If someone needs it, WIP packaging is here: https://salsa.debian.org/js-team/node-chroma-js signature.asc Description: OpenPGP digital signature

Bug#709445: marked as done (RFP: ssmp -- simple server media player)

2018-07-06 Thread Debian Bug Tracking System
Your message dated Fri, 06 Jul 2018 16:20:00 + with message-id and subject line closing RFP: ssmp -- simple server media player has caused the Debian Bug report #709445, regarding RFP: ssmp -- simple server media player to be marked as done. This means that you claim that the problem has been

Processed: retitle to O: python-activipy -- implementation of ActivityStreams 2.0

2018-07-06 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > retitle 882871 O: python-activipy -- implementation of ActivityStreams 2.0 Bug #882871 [wnpp] ITA: python-activipy -- implementation of ActivityStreams 2.0 Changed Bug title to 'O: python-activipy -- implementation of ActivityStreams 2.0' from 'I

Bug#862963: marked as done (ITA: sql-ledger -- Web based double-entry accounting program)

2018-07-06 Thread Debian Bug Tracking System
Your message dated Fri, 06 Jul 2018 16:04:26 + with message-id and subject line Bug#862963: fixed in sql-ledger 3.2.6-1 has caused the Debian Bug report #862963, regarding ITA: sql-ledger -- Web based double-entry accounting program to be marked as done. This means that you claim that the pro

Bug#873464: WIP

2018-07-06 Thread Lisandro Damián Nicanor Pérez Meyer
El viernes, 6 de julio de 2018 02:35:25 -03 usted escribió: > Hi Lisandro, > > How can I help? I don't know much about packaging but can learn or do > testing. Hi Fabián! I'm afraid there is not much you can do, I have been failing to review Scarlett's work for three weeks in a row now, and at t

Bug#901347: marked as done (ITP: python-httpsig -- sign HTTP requests according to IETF HTTP Signatures spec)

2018-07-06 Thread Debian Bug Tracking System
Your message dated Fri, 06 Jul 2018 12:00:12 + with message-id and subject line Bug#901347: fixed in python-httpsig 1.2.0-1 has caused the Debian Bug report #901347, regarding ITP: python-httpsig -- sign HTTP requests according to IETF HTTP Signatures spec to be marked as done. This means th

Bug#901166: marked as done (ITP: python-markdown-math -- Math extension for Python-Markdown)

2018-07-06 Thread Debian Bug Tracking System
Your message dated Fri, 06 Jul 2018 12:00:13 + with message-id and subject line Bug#901166: fixed in python-markdown-math 0.6-1 has caused the Debian Bug report #901166, regarding ITP: python-markdown-math -- Math extension for Python-Markdown to be marked as done. This means that you claim t

Bug#894672: marked as done (ITP: python-fluids -- Fluid dynamics component of Chemical Engineering Design Library (ChEDL))

2018-07-06 Thread Debian Bug Tracking System
Your message dated Fri, 06 Jul 2018 12:00:12 + with message-id and subject line Bug#894672: fixed in python-fluids 0.1.72-1 has caused the Debian Bug report #894672, regarding ITP: python-fluids -- Fluid dynamics component of Chemical Engineering Design Library (ChEDL) to be marked as done.

Bug#884797: marked as done (ITP: anbox -- Run Android applications on any GNU/Linux operating system)

2018-07-06 Thread Debian Bug Tracking System
Your message dated Fri, 06 Jul 2018 12:00:10 + with message-id and subject line Bug#884797: fixed in anbox 0.0~git20180612-1 has caused the Debian Bug report #884797, regarding ITP: anbox -- Run Android applications on any GNU/Linux operating system to be marked as done. This means that you