Bug#1013963: ITP: coq-ext-lib -- Collection of theories and plugins for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-ext-lib Version : 0.11.6 Upstream Author : Gregory M. Malecha * URL : https://github.com/coq-community/coq-ext-lib * License : B

Processed: your mail

Processing commands for cont...@bugs.debian.org: > retitle 1012662 ITA: cmd2 Bug #1012662 [wnpp] ITA: cmd2 Ignoring request to change the title of bug#1012662 to the same title > owner 1012662 ! Bug #1012662 [wnpp] ITA: cmd2 Owner recorded as Nilson Silva . > End of message, stopping processing he

Processed (with 1 error): your mail

Processing commands for cont...@bugs.debian.org: > retitle 1012662 ITA: cmd2 Bug #1012662 [wnpp] ITA: cmd2 Ignoring request to change the title of bug#1012662 to the same title > owner 1012662 Unknown command or malformed arguments to command. > End of message, stopping processing here. Please co

Processed (with 1 error): 1012662 cmd2

Processing commands for cont...@bugs.debian.org: > retitle 1012662 ITA: cmd2 Bug #1012662 [wnpp] O: cmd2 Changed Bug title to 'ITA: cmd2' from 'O: cmd2'. > owner 1012662 Unknown command or malformed arguments to command. > End of message, stopping processing here. Please contact me if you need as

Bug#1013961: ITP: structured-logging-clojure

Package: wnpp Severity: wishlist Owner: Jérôme Charaoui Package name : structured-logging-clojure Version : 0.2.0 Upstream author : PuppetLabs, Inc URL : https://github.com/puppetlabs/structured-logging License : Apache-2.0 Programming Lang :

Bug#1013956: ITP: logstash-logback-encoder

Package: wnpp Severity: wishlist Owner: Jérôme Charaoui Package name : logstash-logback-encoder Version : 7.2 Upstream author : Phil Clay and contributors URL : https://github.com/logfellow/logstash-logback-encoder License : Apache-2.0, Expat

Processed: Re: RFS: python-jschema-to-python/1.0-1 [ITP] -- generate Python classes from a JSON schema

Processing control commands: > block 1013941 by -1 Bug #1013941 [wnpp] ITP: python-jschema-to-python -- generate Python classes from a JSON schema 1013941 was blocked by: 1013947 1013941 was not blocking any bugs. Ignoring request to alter blocking bugs of bug #1013941 to the same blocks previou

Processed: RFS: python-jschema-to-python/1.2.3-1 [ITP] -- generate Python classes from a JSON schema

Processing commands for cont...@bugs.debian.org: > block 1013941 by 1013947 Bug #1013941 [wnpp] ITP: python-jschema-to-python -- generate Python classes from a JSON schema 1013941 was not blocked by any bugs. 1013941 was not blocking any bugs. Added blocking bug(s) of 1013941: 1013947 > End of me

Bug#1013949: ITP: coq-hott -- Coq library for homotopy type theory

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-hott Version : 8.15 Upstream Author : Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Bas Pitters * URL : https://gi

Bug#1013941: ITP: python-jschema-to-python -- generate Python classes from a JSON schema

Package: wnpp Severity: wishlist Owner: Guilherme de Paula Xavier Segundo X-Debbugs-Cc: debian-de...@lists.debian.org, guilherme@gmail.com * Package name: python-jschema-to-python Version : 1.2.3 Upstream Author : Microsoft Corporation * URL : https://github.com/mi

Processed: your mail

Processing commands for cont...@bugs.debian.org: > retitle 882695 RFP: python3-eth-utils -- Utility functions for working with > ethereum related codebases. Bug #882695 [wnpp] ITP: python3-eth-utils -- Utility functions for working with ethereum related codebases. Changed Bug title to 'RFP: pyth

Processed: ITP: clapper -- Simple and modern GNOME media player

Processing commands for cont...@bugs.debian.org: > close 1013925 Bug #1013925 [wnpp] ITP: clapper -- Simple and modern GNOME media player Marked Bug as done > stop Stopping processing here. Please contact me if you need assistance. -- 1013925: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=10

Bug#1013927: ITP: golang-github-arran4-golang-ical -- A ICS / ICal parser and serialiser for Golang.

Package: wnpp Severity: wishlist Owner: Robin Jarry * Package name: golang-github-arran4-golang-ical Version : 0.0~git20220517.fd89fefb0182-1 Upstream Author : Arran Ubels * URL : https://github.com/arran4/golang-ical * License : Apache-2.0 Programming Lang:

Bug#1013928: ITP: golang-github-emersion-go-msgauth -- A Go library and tools for DKIM, DMARC and Authentication-Results

Package: wnpp Severity: wishlist Owner: Robin Jarry * Package name: golang-github-emersion-go-msgauth Version : 0.6.6-1 Upstream Author : Simon Ser * URL : https://github.com/emersion/go-msgauth * License : Expat Programming Lang: Go Description : A Go

Bug#1013925: ITP: clapper -- Simple and modern GNOME media player

Package: wnpp Severity: wishlist Owner: Johannes Schauer Marin Rodrigues X-Debbugs-Cc: debian-de...@lists.debian.org * Package name : clapper Version : 0.5.2 Upstream Author : Rafał Dzięgiel * URL : https://rafostar.github.io/clapper * License : GPL3+, LGPL2+ Programming Lang: C, JavaScript Des

Bug#968467:

Hello everybody! This package is under my responsibility to put on Debian! I already made the package However it is depending on the latest version of "numba" which is still in progress! Nilson F. Silva

Bug#968467: RFP: python3-librosa -- module for audio and music processing

Emmanuel Arias writes: > Hi, > > I can help. > > Do you plan to move librosa under python team? > > In this case you should create the repository in the team. > > Cheers, > Arias Emmanuel > @eamanu > yaerobi.com Apologies for the belated reply. No, I have no plans to move librosa under the pytho

Processed: closing 1013919

Processing commands for cont...@bugs.debian.org: > close 1013919 Bug #1013919 {Done: ba...@debian.org} [wnpp] ITP: dj-database-url -- Use Database URLs in your Django Application Bug 1013919 is already marked as done; not doing anything. > thanks Stopping processing here. Please contact me if yo

Processed: Add blocking bug

Processing commands for cont...@bugs.debian.org: > block 1011956 by 1013213 Bug #1011956 [wnpp] ITP: fonts-nunito -- Well balanced Sans Serif with rounded terminals 1011956 was not blocked by any bugs. 1011956 was not blocking any bugs. Added blocking bug(s) of 1011956: 1013213 > thanks Stopping

Processed: ITP: dj-database-url -- Use Database URLs in your Django Application

Processing commands for cont...@bugs.debian.org: > close 1013919 Bug #1013919 [wnpp] ITP: dj-database-url -- Use Database URLs in your Django Application Marked Bug as done > stop Stopping processing here. Please contact me if you need assistance. -- 1013919: https://bugs.debian.org/cgi-bin/bug

Bug#1013915: ITP: rust-hyper-rustls -- rustls+hyper integration for pure rust HTTPS

Package: wnpp Severity: wishlist Owner: Jonas Smedegaard X-Debbugs-Cc: debian-de...@lists.debian.org -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 * Package name: rust-hyper-rustls Version : 0.23.0 Upstream Author : 2016 Joseph Birr-Pixton * URL : https://github.co

Bug#1013913: ITP: rust-tokio-rustls -- asynchronous TLS/SSL streams for Tokio using Rustls

Package: wnpp Severity: wishlist Owner: Jonas Smedegaard X-Debbugs-Cc: debian-de...@lists.debian.org -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 * Package name: rust-tokio-rustls Version : 0.23.4 Upstream Author : quininer kel * URL : https://github.com/tokio-rs/

Bug#1013763: ITA: dhcpcd5

Control: retitle -1 ITA: dhcpcd5 -- DHCPv4, IPv6RA and DHCPv6 client with IPv4LL support Control: owner -1 Martin-Éric Racine

Processed: Re: ITA: dhcpcd5

Processing control commands: > retitle -1 ITA: dhcpcd5 -- DHCPv4, IPv6RA and DHCPv6 client with IPv4LL > support Bug #1013763 [wnpp] O: dhcpcd5 -- DHCPv4, IPv6RA and DHCPv6 client with IPv4LL support Changed Bug title to 'ITA: dhcpcd5 -- DHCPv4, IPv6RA and DHCPv6 client with IPv4LL support' fro

Bug#1013763: ITA: dhcpcd5

Hey Scott! Thanks for having maintained the package so far. Thanks also to Bastian for having sponsored my recent QA uploads. Unless anyone objects, I intend on adopting the package. Martin-Éric