Processed: RFP: rapidyaml -- a library to parse and emit YAML, and do it fast.

Processing commands for cont...@bugs.debian.org: > noowner 1003397 Bug #1003397 [wnpp] RFP: rapidyaml -- a library to parse and emit YAML, and do it fast. Removed annotation that Bug was owned by w...@debian.org. > End of message, stopping processing here. Please contact me if you need assistanc

Bug#1013949: marked as done (ITP: coq-hott -- Coq library for homotopy type theory)

Your message dated Sat, 09 Jul 2022 07:49:56 +0200 with message-id <98b238f5597ce7c6af2ba4e82f7d6b6a339a8840.ca...@gmail.com> and subject line Closing has caused the Debian Bug report #1013949, regarding ITP: coq-hott -- Coq library for homotopy type theory to be marked as done. This means that yo

Bug#1003397: ITP: rapidyaml -- a library to parse and emit YAML, and do it fast.

Control: retitle -1 RFP: rapidyaml -- a library to parse and emit YAML, and do it fast. Control: owner -1 w...@debian.org I'm giving up this ITP bug. Any one who is interested in this ITP can take it over.

Processed: Re: ITP: rapidyaml -- a library to parse and emit YAML, and do it fast.

Processing control commands: > retitle -1 RFP: rapidyaml -- a library to parse and emit YAML, and do it fast. Bug #1003397 [wnpp] ITP: rapidyaml -- a library to parse and emit YAML, and do it fast. Changed Bug title to 'RFP: rapidyaml -- a library to parse and emit YAML, and do it fast.' from 'I

Bug#1014602: marked as done (ITP: coq-menhirlib -- support library for verified Menhir parsers)

Your message dated Fri, 08 Jul 2022 23:00:09 + with message-id and subject line Bug#1014602: fixed in coq-menhirlib 20220210+ds-1 has caused the Debian Bug report #1014602, regarding ITP: coq-menhirlib -- support library for verified Menhir parsers to be marked as done. This means that you cl

Bug#1014585: marked as done (ITP: coq-stdpp -- Extended standard library for Coq)

Your message dated Fri, 08 Jul 2022 23:00:10 + with message-id and subject line Bug#1014585: fixed in coq-stdpp 1.7.0-1 has caused the Debian Bug report #1014585, regarding ITP: coq-stdpp -- Extended standard library for Coq to be marked as done. This means that you claim that the problem has

Bug#1014240: marked as done (ITP: rust-blocking -- thread pool for isolating blocking I/O)

Your message dated Fri, 08 Jul 2022 23:00:57 + with message-id and subject line Bug#1014240: fixed in rust-blocking 1.2.0-1 has caused the Debian Bug report #1014240, regarding ITP: rust-blocking -- thread pool for isolating blocking I/O to be marked as done. This means that you claim that th

Bug#1014229: marked as done (ITP: rust-async-net -- async networking primitives)

Your message dated Fri, 08 Jul 2022 23:00:56 + with message-id and subject line Bug#1014229: fixed in rust-async-net 1.6.1-1 has caused the Debian Bug report #1014229, regarding ITP: rust-async-net -- async networking primitives to be marked as done. This means that you claim that the problem

Bug#1014572: marked as done (ITP: coq-simple-io -- Coq plugin for purely functional IO)

Your message dated Fri, 08 Jul 2022 23:00:09 + with message-id and subject line Bug#1014572: fixed in coq-simple-io 1.7.0-1 has caused the Debian Bug report #1014572, regarding ITP: coq-simple-io -- Coq plugin for purely functional IO to be marked as done. This means that you claim that the p

Bug#1014227: marked as done (ITP: rust-async-fs -- async filesystem primitives)

Your message dated Fri, 08 Jul 2022 23:00:56 + with message-id and subject line Bug#1014227: fixed in rust-async-fs 1.5.0-1 has caused the Debian Bug report #1014227, regarding ITP: rust-async-fs -- async filesystem primitives to be marked as done. This means that you claim that the problem h

Bug#1014225: marked as done (ITP: rust-async-executor -- async executors)

Your message dated Fri, 08 Jul 2022 23:00:56 + with message-id and subject line Bug#1014225: fixed in rust-async-executor 1.4.1-1 has caused the Debian Bug report #1014225, regarding ITP: rust-async-executor -- async executors to be marked as done. This means that you claim that the problem h

Processed: owner 978403, retitle 978403 to ITP: jolokia -- remote JMX with JSON over HTTP

Processing commands for cont...@bugs.debian.org: > owner 978403 Jérôme Charaoui Bug #978403 [wnpp] RFP: jolokia -- remote JMX with JSON over HTTP Owner recorded as Jérôme Charaoui . > retitle 978403 ITP: jolokia -- remote JMX with JSON over HTTP Bug #978403 [wnpp] RFP: jolokia -- remote JMX with

Bug#819476: marked as done (ITA: quotatool -- tool to edit disk quotas from the command line)

Your message dated Fri, 08 Jul 2022 20:25:28 + with message-id and subject line Bug#819476: fixed in quotatool 1:1.6.2-6 has caused the Debian Bug report #819476, regarding ITA: quotatool -- tool to edit disk quotas from the command line to be marked as done. This means that you claim that th

Bug#856304: marked as done (ITA: xli -- command line tool for viewing images in X11)

Your message dated Fri, 08 Jul 2022 20:25:48 + with message-id and subject line Bug#856304: fixed in xli 1.17.0+20061110-8 has caused the Debian Bug report #856304, regarding ITA: xli -- command line tool for viewing images in X11 to be marked as done. This means that you claim that the probl

Bug#1014610: ITP: ott -- Ott tool

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: ott Version : 0.32 Upstream Author : Peter Sewell, Francesco Zappa Nardelli, Scott Owens et al * URL : https://github.com/ott-lang/ott * Lic

Processed: your mail

Processing commands for cont...@bugs.debian.org: > retitle 740050 ITP: python-flanker -- e-mail body and address parsing in > python Bug #740050 [wnpp] RFP: python-flanker -- e-mail body and address parsing in python Changed Bug title to 'ITP: python-flanker -- e-mail body and address parsing in

Bug#969371: marked as done (ITP: bioxtasraw -- process biological small angle scattering data)

Your message dated Fri, 08 Jul 2022 15:00:09 + with message-id and subject line Bug#969371: fixed in bioxtasraw 2.1.1-1 has caused the Debian Bug report #969371, regarding ITP: bioxtasraw -- process biological small angle scattering data to be marked as done. This means that you claim that th

Processed: ITP: coq-menhirlib -- support library for verified Menhir parsers

Processing commands for cont...@bugs.debian.org: > close 1014602 Bug #1014602 [wnpp] ITP: coq-menhirlib -- support library for verified Menhir parsers Marked Bug as done > stop Stopping processing here. Please contact me if you need assistance. -- 1014602: https://bugs.debian.org/cgi-bin/bugrep

Bug#1014602: ITP: coq-menhirlib -- support library for verified Menhir parsers

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-menhirlib Version : 20220210 Upstream Author : Jacques-Henri Jourdan * URL : https://coquelicot.inria.fr/fpottier/menhir * License

Bug#1013966: marked as done (ITP: golang-github-emersion-go-milter -- Go library to write mail filters)

Your message dated Fri, 08 Jul 2022 14:10:08 + with message-id and subject line Bug#1013966: fixed in golang-github-emersion-go-milter 0.3.3-1 has caused the Debian Bug report #1013966, regarding ITP: golang-github-emersion-go-milter -- Go library to write mail filters to be marked as done.

Processed: RFS: anacron/2.3-33 [ITA] -- cron-like program that doesn't go by time

Processing commands for cont...@bugs.debian.org: > block 897138 by 1014592 Bug #897138 [wnpp] ITA: anacron -- cron-like program that doesn't go by time 897138 was blocked by: 1010521 897138 was not blocking any bugs. Added blocking bug(s) of 897138: 1014592 > End of message, stopping processing he

Bug#1014591: ITP: tofi -- fast and simple dmenu / rofi replacement for wlroots-based Wayland compositors

Package: wnpp Severity: wishlist Owner: Birger Schacht X-Debbugs-Cc: debian-de...@lists.debian.org, bir...@debian.org * Package name: tofi Version : 0.1.1 Upstream Author : Philip Jones * URL : https://github.com/philj56/tofi * License : MIT Programming Lang:

Bug#1014585: ITP: coq-stdpp -- Extended standard library for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-stdpp Version : 1.7.0 Upstream Author : std++ team * URL : https://gitlab.mpi-sws.org/iris/stdpp * License : BSD-3-clause Prog

Bug#986997: marked as done (O: netkit-telnet -- basic telnet client)

Your message dated Fri, 08 Jul 2022 09:49:08 + with message-id and subject line Bug#986997: fixed in netkit-telnet 0.17-45 has caused the Debian Bug report #986997, regarding O: netkit-telnet -- basic telnet client to be marked as done. This means that you claim that the problem has been deal

Bug#1014583: ITP: coq-equations -- Coq library to work with functions defined by equations

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-equations Version : 1.3-8.15 Upstream Author : Matthieu Sozeau and Cyprien Mangin * URL : https://github.com/mattam82/Coq-Equations * Li

Processed: your mail

Processing commands for cont...@bugs.debian.org: > retitle 1014363 RFP: bash-it -- collection of community Bash commands and > scripts for Bash Bug #1014363 [wnpp] ITP: bash-it -- collection of community Bash commands and scripts for Bash Changed Bug title to 'RFP: bash-it -- collection of commu

Bug#826282: marked as done (ITA: apngasm -- assemble APNG animation from PNG/TGA)

Your message dated Fri, 08 Jul 2022 09:19:02 + with message-id and subject line Bug#826282: fixed in apngasm 2.91-4 has caused the Debian Bug report #826282, regarding ITA: apngasm -- assemble APNG animation from PNG/TGA to be marked as done. This means that you claim that the problem has bee

Processed: ITA: grub-customizer -- GUI to configure GRUB2 and BURG

Processing control commands: > owner -1 atzli...@sina.com Bug #1013284 [wnpp] O: grub-customizer -- GUI to configure GRUB2 and BURG Owner recorded as atzli...@sina.com. > retitle -1 ITA: grub-customizer -- GUI to configure GRUB2 and BURG Bug #1013284 [wnpp] O: grub-customizer -- GUI to configure G

Bug#1013284: ITA: grub-customizer -- GUI to configure GRUB2 and BURG

control: owner -1 atzli...@sina.com control: retitle -1 ITA: grub-customizer -- GUI to configure GRUB2 and BURG -- 肖盛文 xiao sheng wen https://www.atzlinux.com 《铜豌豆 Linux》基于 Debian 的 Linux 中文 桌面 操作系统 Debian QA page: https://qa.debian.org/developer.php?login=atzlinux%40sina.com Debian salsa: https:

Bug#1014579: RFP: librust-glium-dev -- Easy-to-use, high-level, OpenGL3+ wrapper.

Package: wnpp Severity: wishlist * Package name: librust-glium-dev Version : 0.31.0 Upstream Author : glium authors * URL : https://github.com/glium/ * License : Apache 2.0 Programming Lang: Rust Description : Easy-to-use, high-level, OpenGL3+ wrapper.