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
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
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.
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
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
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
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
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
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
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
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
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
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
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
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
*
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
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
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:
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
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.
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
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
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
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
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
*
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
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
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
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:
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.
Package: wnpp
Severity: wishlist
Owner: Julien Puydt
X-Debbugs-Cc: Debian OCaml Maintainers ,
jpu...@debian.org
* Package name: coq-simple-io
Version : 1.7.0
Upstream Author : Li-yao Xia
* URL : https://github.com/coq-community/coq-simple-io
* License : Expat
Processing control commands:
> reassign 919903 wnpp
Bug #919903 [wx-common] Package wxWidgets 3.1
Bug reassigned from package 'wx-common' to 'wnpp'.
No longer marked as found in versions wxwidgets3.0/3.0.4+dfsg-8.
Ignoring request to alter fixed versions of bug #919903 to the same values
32 matches
Mail list logo
