Bug#951632: ITP: coq-menhirlib -- Support library for verified Coq parsers produced by Menhir

Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: coq-menhirlib Version : 20200123-1 Upstream Author : Jacques-Henri Jourdan * URL : http://gallium.inria.fr/~fpottier/menhir/ * License : LGPL3+ Programming Lang: Coq Description : Sup

Bug#951632: ITP: coq-menhirlib -- Support library for verified Coq parsers produced by Menhir

Le 19/02/2020 à 09:06, Ralf Treinen a écrit : > - coq does not build on all architectures, and the situation for building > coq has become worse starting with 8.11. Menhir however is a parser > generator, like bison, and should be available on all architectures. Could you elaborate? What make

Processed: Re: Processed (with 1 error): Unarchive

Processing commands for cont...@bugs.debian.org: > archive 756305 Bug #756305 {Done: Gunnar Wolf } [wnpp] ITP: drupal8 -- fully-featured content management framework archived 756305 to archive/05 (from 756305) > thanks Stopping processing here. Please contact me if you need assistance. -- 75630

Bug#951632: ITP: coq-menhirlib -- Support library for verified Coq parsers produced by Menhir

On Wed, Feb 19, 2020 at 10:02:55AM +0100, Stéphane Glondu wrote: > Le 19/02/2020 à 09:06, Ralf Treinen a écrit : > > - coq does not build on all architectures, and the situation for building > > coq has become worse starting with 8.11. Menhir however is a parser > > generator, like bison, and

Dank je wel

Dank u en proficiat voor je keuze, We stuurden een mail naar alle lezers om een keuze te maken. U hebt gekozen om bij onze lezers te blijven en daarvoor wens ik u proficiat te wensen. Er zijn immers weinig mensen die ook echt iets willen doen en actie willen ondernemen om zichzelf en hun gezin al

Processed: RFA: approx -- caching proxy server for Debian archive files

Processing commands for cont...@bugs.debian.org: > close 951597 Bug #951597 [wnpp] RFA: approx -- caching proxy server for Debian archive files Marked Bug as done > stop Stopping processing here. Please contact me if you need assistance. -- 951597: https://bugs.debian.org/cgi-bin/bugreport.cgi?b

Processed: limit package to wnpp, owner 878881 ...

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' > owner 878881 ! Bug #878881 [wnpp] RFP: php-ramsey-uuid -- PHP 5.4+ library for generating and working with RFC 4

Processed: ITP: php-opis-closure -- serializable closures (anonymous functions) for PHP

Processing control commands: > block 951159 by -1 Bug #951159 [wnpp] ITP: php-laravel-framework -- web application framework for PHP 951159 was blocked by: 951603 951163 951664 951591 951159 was blocking: 951156 Added blocking bug(s) of 951159: 951665 -- 951159: https://bugs.debian.org/cgi-bin/

Processed: php-league-commonmark: new upstream version available

Processing control commands: > block 951159 by -1 Bug #951159 [wnpp] ITP: php-laravel-framework -- web application framework for PHP 951159 was blocked by: 951163 951591 951603 951159 was blocking: 951156 Added blocking bug(s) of 951159: 951664 -- 951159: https://bugs.debian.org/cgi-bin/bugrepo

Processed: ITP: php-league-flysystem -- unified file system API for PHP

Processing control commands: > block 951159 by -1 Bug #951159 [wnpp] ITP: php-laravel-framework -- web application framework for PHP 951159 was blocked by: 951664 951665 951591 951603 951163 951159 was blocking: 951156 Added blocking bug(s) of 951159: 951666 -- 951159: https://bugs.debian.org/c

Bug#951666: ITP: php-league-flysystem -- unified file system API for PHP

Package: wnpp Severity: wishlist Owner: Robin Gustafsson Control: block 951159 by -1 * Package name: php-league-flysystem Version : 1.0.64 Upstream Author : Frank de Jonge * URL : https://github.com/thephpleague/flysystem * License : MIT Programming Lang: PH

Bug#951665: ITP: php-opis-closure -- serializable closures (anonymous functions) for PHP

Package: wnpp Severity: wishlist Owner: Robin Gustafsson Control: block 951159 by -1 * Package name: php-opis-closure Version : 3.5.1 Upstream Author : Marius Sarca * URL : https://github.com/opis/closure * License : MIT Programming Lang: PHP Description

Processed: ITP: azure-uamqp-python -- AMQP 1.0 client library for Python

Processing control commands: > block 949763 by -1 Bug #949763 [src:python-azure] python-azure: please consider uploading a new version 949763 was blocked by: 951126 951609 950800 949763 was not blocking any bugs. Added blocking bug(s) of 949763: 951670 -- 949763: https://bugs.debian.org/cgi-bin

Bug#951670: ITP: azure-uamqp-python -- AMQP 1.0 client library for Python

Package: wnpp Severity: wishlist Owner: "Luca Boccassi" X-Debbugs-CC: debian-de...@lists.debian.org Control: block 949763 by -1 * Package name: azure-uamqp-python Version : 1.2.6 Upstream Author : Microsoft Corporation * URL : https://github.com/Azure/azure-uamqp-pytho

Bug#934004: ITP: golang-starlark -- Interpreter for the Starlark configuration language

X-Debbugs-CC: by...@debian.org Hi Boyuan, There is a draft package in https://salsa.debian.org/go-team/packages/golang-skylark. Progress was stalled for a bit while waiting for a sponsor, but Martina Ferrari ( t...@tina.pm) has kindly volunteered to help. I'll update this bug when I get closer t

Processed (with 1 error): bruteforce-wallet -- Try to find a password of a encrypted wallet file

Processing commands for cont...@bugs.debian.org: > retitle 951539 ITP: bruteforce-wallet -- try to find the password of an Bug #951539 [wnpp] ITP: bruteforce-wallet -- Try to find a password of a encrypted wallet file Changed Bug title to 'ITP: bruteforce-wallet -- try to find the password of an'

Processed: bruteforce-wallet -- try to find the password of an

Processing commands for cont...@bugs.debian.org: > retitle 951539 ITP: bruteforce-wallet -- try to find the password of an > encrypted wallet file Bug #951539 [wnpp] ITP: bruteforce-wallet -- try to find the password of an Changed Bug title to 'ITP: bruteforce-wallet -- try to find the password o

Bug#951666: ITP: php-league-flysystem -- unified file system API for PHP

Hi Robin, Le 19/02/2020 à 10:56, Robin Gustafsson a écrit : > Package: wnpp […] > * Package name: php-league-flysystem > Version : 1.0.64 […] > I plan to maintain this package within the Debian PHP PEAR Maintainers team. CCed. Please note this package was part of Debian some time a