Bug#681044: marked as done (O: prover9-manual -- documentation for Prover9 and associated programs)

Your message dated Thu, 19 Jun 2025 06:18:25 + with message-id and subject line Bug#1107763: Removed package(s) from unstable has caused the Debian Bug report #681044, regarding O: prover9-manual -- documentation for Prover9 and associated programs to be marked as done. This means that you cl

Bug#1108022: ITP: librust-spm-precompiled-dev -- emulate https://github.com/google/sentencepiece Dart::DoubleArray struct and it's Normalizer

Package: wnpp Severity: wishlist Owner: Kohei Sendai X-Debbugs-Cc: debian-de...@lists.debian.org, kouhei.sen...@gmail.com * Package name: librust-spm-precompiled-dev Version : 0.1.4 Upstream Contact: Nicolas Patry * URL : https://github.com/huggingface/spm_precompiled

Bug#1108021: ITP: librust-rayon-cond-dev -- Experimental iterator wrapper that is conditionally parallel or serial.

Package: wnpp Severity: wishlist Owner: Kohei Sendai X-Debbugs-Cc: debian-de...@lists.debian.org, kouhei.sen...@gmail.com * Package name: librust-rayon-cond-dev Version : 0.4.0 Upstream Contact: Josh Stone * URL : https://github.com/cuviper/rayon-cond * License

Bug#1108020: ITP: librust-esaxx-rs-dev -- Wrapping around sentencepiece's esaxxx library.

Package: wnpp Severity: wishlist Owner: Kohei Sendai X-Debbugs-Cc: debian-de...@lists.debian.org, kouhei.sen...@gmail.com * Package name: librust-esaxx-rs-dev Version : 0.1.10 Upstream Contact: Nicolas Patry * URL : https://github.com/Narsil/esaxx-rs * License

Processed: ITP: wikiman -- universal offline documentation search engine

Processing commands for cont...@bugs.debian.org: > owner 1108011 Filip Parag Bug #1108011 [wnpp] ITP: wikiman -- universal offline documentation search engine Owner recorded as Filip Parag . > End of message, stopping processing here. Please contact me if you need assistance. -- 1108011: https

Bug#1108013: ITP: atari-rpi -- USB to Atari mouse adapter for Raspberry Pi

Package: wnpp Severity: wishlist Owner: Jérôme SONRIER X-Debbugs-Cc: debian-de...@lists.debian.org, j...@emor3j.fr.eu.org * Package name: atari-rpi Version : 1.0 Upstream Contact: Jérôme SONRIER * URL : https://github.com/emor3j/atari_rpi * License : GPL Pro

Bug#1108011: ITP: wikiman -- universal offline documentation search engine

Package: wnpp Severity: wishlist * Package name    : wikiman   Version         : 2.14.1   Upstream Author : Filip Parag * URL             : https://github.com/filiparag/wikiman * License         : MIT   Programming Lang: Shell   Description     : universal offline documentation search engine Wi

Bug#772739: marked as done (RFP: birdie -- A native Twitter client for GNU/Linux)

Your message dated Wed, 18 Jun 2025 13:06:45 + (UTC) with message-id <88429e6b-9ab3-dc5e-44a0-8cbb1fd9...@alteholz.de> and subject line Twitter is dead has caused the Debian Bug report #772739, regarding RFP: birdie -- A native Twitter client for GNU/Linux to be marked as done. This means that

Bug#1107985: ITP: librust-unicode-normalization-alignments-dev -- forked version of unicode-normalization wich provides alignment information during normalization

Package: wnpp Severity: wishlist Owner: Kohei Sendai X-Debbugs-Cc: debian-de...@lists.debian.org, kouhei.sen...@gmail.com * Package name: librust-unicode-normalization-alignments-dev Version : 0.1.12 Upstream Contact: Anthony MOI * URL : https://github.com/n1t0/unicod