Bug#1090749: ITP: bird3 -- Internet Routing Daemon (version 3.x)

2024-12-18 Thread
> Yes, but I expect that the bird2 maintainer will package bird3 since he > works for the same organization. In that case, feel free to change the owner of this bug. And I am still willing to provide any help should they need it. Thanks, Shengqi Chen

Bug#1086610: Update bug 1086610

2024-11-02 Thread
Correction: no need to pack 3.0 prerelease. The current upstream version should be 2.0. It contains the new features and SONAME, etc. The master branch itself is outdated. -- Thanks, Shengqi Chen

Bug#1086153: ITP: virtualbmc -- virtual BMC for controlling virtual machines using IPMI commands

2024-10-27 Thread
Package: wnpp Severity: wishlist Owner: harry-c...@outlook.com X-Debbugs-Cc: debian-de...@lists.debian.org, debian-pyt...@lists.debian.org * Package name: virtualbmc Version : 3.1.0 * URL : https://github.com/openstack/virtualbmc * License : Apache-2.0 Programmi

Bug#1084889: ITP: drat-trim -- DRAT-trim SAT proof checker

2024-10-10 Thread
Package: wnpp Severity: wishlist Owner: harry-c...@outlook.com User: debian-scie...@lists.debian.org Usertags: field..logic X-Debbugs-Cc: debian-de...@lists.debian.org, debian-scie...@lists.debian.org * Package name: drat-trim Version : 0.0~git20240428.effa1dc Upstream Contact: Mar

Bug#1084868: ITP: kissat -- keep it simple and clean bare metal SAT solver

2024-10-10 Thread
Package: wnpp Severity: wishlist Owner: Shengqi Chen User: debian-scie...@lists.debian.org Usertags: field..logic X-Debbugs-Cc: debian-de...@lists.debian.org, debian-scie...@lists.debian.org, harry-c...@outlook.com * Package name: kissat Version : 4.0.1 Upstream Contact: Armin Bi

Bug#1057029: ITP: goauthing -- CLI authentication utility for srun4000 systems

2023-11-28 Thread
Hi, > 2023年11月28日 16:38,陈 晟祺 写道: > > Package: wnpp > Severity: wishlist > X-Debbugs-CC: debian-de...@lists.debian.org, debian...@lists.debian.org > Owner: Shengqi Chen > > * Package name: goauthing > Version : 2.2.1-1 > Upstream Author : Yuxiang Zha

Bug#1057029: ITP: goauthing -- CLI authentication utility for srun4000 systems

2023-11-28 Thread
Package: wnpp Severity: wishlist X-Debbugs-CC: debian-de...@lists.debian.org, debian...@lists.debian.org Owner: Shengqi Chen * Package name: goauthing Version : 2.2.1-1 Upstream Author : Yuxiang Zhang * URL : https://github.com/z4yx/GoAuthing * License : GPL-3.0

Bug#1055543: ITP: diff-pdf-wx -- Simple tool for visually comparing two PDF files.

2023-11-07 Thread
Package: wnpp Severity: wishlist Owner: Shengqi Chen X-Debbugs-Cc: debian-de...@lists.debian.org * Package name: diff-pdf-wx Version : 0.5.1 Upstream Contact: Vaclav Slavik * URL : http://vslavik.github.io/diff-pdf * License : GPL-2 mostly with some LGPL-2.1+