Bug#1015018: marked as done (ITP: coq-reduction-effects -- reduction effects for Coq)

2022-08-12 Thread Debian Bug Tracking System
Your message dated Sat, 13 Aug 2022 06:56:10 +0200 with message-id <3acbb2ca5df0e63a65854fcd2237542d5aa4be3e.ca...@gmail.com> and subject line Already in has caused the Debian Bug report #1015018, regarding ITP: coq-reduction-effects -- reduction effects for Coq to be marked as done. This means th

Bug#1017074: ITP: libpysal -- "Core components of PySAL A library of spatial analysis functions".

2022-08-12 Thread Josenilson Ferreira da Silva
Package: wnpp Severity: wishlist Owner: Josenilson Ferreira da Silva X-Debbugs-Cc: debian-de...@lists.debian.org, nilsonfsi...@hotmail.com * Package name: libpysal Version : 4.6.2 Upstream Author : Name PySAL Developers * URL : https://github.com/pysal/libpysal/ * Lice

Mitel, Nortel, VOIP Phone System

2022-08-12 Thread Rachael Kelly
Hi, Would you be interested in acquiring a list of companies that are currently using Mitel, Nortel, VOIP Phone System? Kindly let me know of your target interest so that I can get back to you with counts and pricing information. Regards, Rachael Kelly Database Executive Lead Gen Mark

Bug#1016797: marked as done (ITP: flox -- GroupBy operations for dask.array)

2022-08-12 Thread Debian Bug Tracking System
Your message dated Fri, 12 Aug 2022 18:00:10 + with message-id and subject line Bug#1016797: fixed in flox 0.5.9-1 has caused the Debian Bug report #1016797, regarding ITP: flox -- GroupBy operations for dask.array to be marked as done. This means that you claim that the problem has been deal

Bug#1016769: marked as done (ITP: elpa-snakemake -- support for editing and running snakemake files in emacs)

2022-08-12 Thread Debian Bug Tracking System
Your message dated Fri, 12 Aug 2022 18:00:09 + with message-id and subject line Bug#1016769: fixed in elpa-snakemake 2.0.0-1 has caused the Debian Bug report #1016769, regarding ITP: elpa-snakemake -- support for editing and running snakemake files in emacs to be marked as done. This means t

Bug#1016577: marked as done (ITP: python-tuspy -- Python3 client for the tus resumable upload protocol)

2022-08-12 Thread Debian Bug Tracking System
Your message dated Fri, 12 Aug 2022 18:00:11 + with message-id and subject line Bug#1016577: fixed in python-tuspy 1.0.0-1 has caused the Debian Bug report #1016577, regarding ITP: python-tuspy -- Python3 client for the tus resumable upload protocol to be marked as done. This means that you

Bug#1016504: marked as done (ITP: wtforms-components -- various additional fields, validators and widgets for WTForms)

2022-08-12 Thread Debian Bug Tracking System
Your message dated Fri, 12 Aug 2022 18:00:12 + with message-id and subject line Bug#1016504: fixed in wtforms-components 0.10.5-2 has caused the Debian Bug report #1016504, regarding ITP: wtforms-components -- various additional fields, validators and widgets for WTForms to be marked as done.

Bug#1016504: marked as done (ITP: wtforms-components -- various additional fields, validators and widgets for WTForms)

2022-08-12 Thread Debian Bug Tracking System
Your message dated Fri, 12 Aug 2022 18:00:12 + with message-id and subject line Bug#1016504: fixed in wtforms-components 0.10.5-1 has caused the Debian Bug report #1016504, regarding ITP: wtforms-components -- various additional fields, validators and widgets for WTForms to be marked as done.

Bug#1016390: marked as done (ITP: progressbar2 -- Text progress bar library for Python)

2022-08-12 Thread Debian Bug Tracking System
Your message dated Fri, 12 Aug 2022 18:00:11 + with message-id and subject line Bug#1016390: fixed in progressbar2 4.0.0-1 has caused the Debian Bug report #1016390, regarding ITP: progressbar2 -- Text progress bar library for Python to be marked as done. This means that you claim that the pr

Bug#1015867: marked as done (ITP: golang-github-glendc-go-external-ip -- get your external ip from multiple services)

2022-08-12 Thread Debian Bug Tracking System
Your message dated Fri, 12 Aug 2022 18:00:10 + with message-id and subject line Bug#1015867: fixed in golang-github-glendc-go-external-ip 0.1.0-1 has caused the Debian Bug report #1015867, regarding ITP: golang-github-glendc-go-external-ip -- get your external ip from multiple services to be

Bug#978432: marked as done (ITP: astroalign -- Astrometric registration of images when no WCS info is available)

2022-08-12 Thread Debian Bug Tracking System
Your message dated Fri, 12 Aug 2022 16:00:10 + with message-id and subject line Bug#978432: fixed in astroalign 2.4.1-1 has caused the Debian Bug report #978432, regarding ITP: astroalign -- Astrometric registration of images when no WCS info is available to be marked as done. This means tha

Processed: ITP: golang-github-bwesterb-go-ristretto -- Pure Go implementation of the Ristretto prime-order group over Edwards25519

2022-08-12 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > close 1017052 Bug #1017052 [wnpp] ITP: golang-github-bwesterb-go-ristretto -- Pure Go implementation of the Ristretto prime-order group over Edwards25519 Marked Bug as done > stop Stopping processing here. Please contact me if you need assistanc

Bug#1017045: RFP: nitropy -- A command line interface for the Nitrokey FIDO2, Nitrokey Start, Nitrokey 3 and NetHSM

2022-08-12 Thread Martin Kropfinger
Package: wnpp Severity: wishlist For managing the security-devices of Nitrokey there is a python-tool available. It would be nice having it in the official repository. The sources can be found at: https://github.com/Nitrokey/pynitrokey As license is used MIT and Apache v2.0.

Bug#934714: marked as done (RFA: yojson -- JSON library for OCaml)

2022-08-12 Thread Debian Bug Tracking System
Your message dated Fri, 12 Aug 2022 11:04:51 + with message-id and subject line Bug#934714: fixed in yojson 2.0.2-1 has caused the Debian Bug report #934714, regarding RFA: yojson -- JSON library for OCaml to be marked as done. This means that you claim that the problem has been dealt with. I

Processed: Bug#934714 marked as pending in yojson

2022-08-12 Thread Debian Bug Tracking System
Processing control commands: > tag -1 pending Bug #934714 [wnpp] RFA: yojson -- JSON library for OCaml Added tag(s) pending. -- 934714: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=934714 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#1014969: marked as done (ITP: coq-gappa -- Coq tactic to use Gappa for floating-point goals)

2022-08-12 Thread Debian Bug Tracking System
Your message dated Fri, 12 Aug 2022 08:58:30 +0200 with message-id and subject line Package is in testing already! has caused the Debian Bug report #1014969, regarding ITP: coq-gappa -- Coq tactic to use Gappa for floating-point goals to be marked as done. This means that you claim that the probl