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

Package: wnpp Severity: wishlist Owner: Shengqi Chen X-Debbugs-Cc: debian-devel@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+

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

Package: wnpp Severity: wishlist X-Debbugs-CC: debian-devel@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

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

Hi, Re-sending to some lists since I missed so CCs in my previous reply. > 2023年11月28日 16:38，陈 晟祺 写道： > > Package: wnpp > Severity: wishlist > X-Debbugs-CC: debian-devel@lists.debian.org, debian...@lists.debian.org > Owner: Shengqi Chen > > * Package name : goaut

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

Package: wnpp Severity: wishlist Owner: harry-c...@outlook.com User: debian-scie...@lists.debian.org Usertags: field..logic X-Debbugs-Cc: debian-devel@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

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

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

Package: wnpp Severity: wishlist Owner: harry-c...@outlook.com X-Debbugs-Cc: debian-devel@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