Bug#1065468: ITP: python-rpcq -- RPC framework and message specification for Rigetti QCS

2024-03-04 Thread Yogeswaran Umasankar
Package: wnpp
Severity: wishlist
Owner: Yogeswaran Umasankar 
X-Debbugs-Cc: debian-de...@lists.debian.org, kd8...@gmail.com

* Package name: python-rpcq
  Version : 3.11.0
  Upstream Contact: Rigetti Computing 
* URL : https://github.com/rigetti/rpcq
* License : Apache-2.0
  Programming Lang: Python
  Description : RPC framework and message specification for Rigetti QCS

Asynchronous RPC client-server framework and message
 specification for Rigetti Quantum Cloud Services (QCS).
 Implements an efficient transport protocol by using
 ZeroMQ (ZMQ) sockets and MessagePack (msgpack) serialization.
 Not intended to be a full-featured replacement for other
 frameworks like gRPC or Apache Thrift. It is depend for other python
 packages such as pyquil. I planned to maintain it under DPT, and need
 sponsorship.



Bug#1065462: ITP: netconsd -- The Netconsole Daemon

2024-03-04 Thread Michel Lind
Package: wnpp
Severity: wishlist
Owner: Michel Lind 
X-Debbugs-Cc: debian-de...@lists.debian.org, mic...@michel-slm.name

* Package name: netconsd
  Version : 0.4
  Upstream Contact: Dave Jones 
* URL : https://github.com/facebook/netconsd
* License : BSD
  Programming Lang: C
  Description : The Netconsole Daemon

This is a daemon for receiving and processing logs from the Linux Kernel, as
emitted over a network by the kernel's netconsole module. It supports both the
old "legacy" text-only format, and the new extended format added in v4.4.

The core of the daemon does nothing but process messages and drop them: in order
to make the daemon useful, the user must supply one or more "output modules".
These modules are shared object files which expose a small ABI that is called by
netconsd with the content and metadata for netconsole messages it receives.



Processed: your mail

2024-03-04 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org:

> retitle 1049429 "ITA: pyparted -- Python 3 interface for libparted"
Bug #1049429 [wnpp] O: pyparted -- Python 3 interface for libparted
Changed Bug title to '"ITA: pyparted -- Python 3 interface for libparted"' from 
'O: pyparted -- Python 3 interface for libparted'.
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
1049429: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1049429
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems



Bug#1040433: marked as done (ITA: anki - flashcard learning program, has migrated to Rust/Python/JavaScript combination)

2024-03-04 Thread Debian Bug Tracking System
Your message dated Mon, 04 Mar 2024 17:19:05 +
with message-id 
and subject line Bug#1040433: fixed in anki 2.1.15+dfsg-4
has caused the Debian Bug report #1040433,
regarding ITA: anki - flashcard learning program, has migrated to 
Rust/Python/JavaScript combination
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)


-- 
1040433: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1040433
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: normal
X-Debbugs-Cc: debian-r...@lists.debian.org

Anki is a superb flashcard system for learning anything.  It used to
be a straightforward Python package with some JavaScript for the front
end.  But over the last couple of years, it has migrated to a
combination of Rust, Python and JavaScript (using node).  (It went via
the unpackaged Bazel package building system, but it's now migrated
away from that.)

I do not have the capacity to maintain this lovely package now that it
has become significantly more complex.  It is currently in unstable at
version 2.1.15, which was a Python-only version (plus a bit of
JavaScript).  It no longer builds on testing, and did not make it into
bookworm; upstream is now at 2.1.65.

I have had several requests to update the package and bring it back
into Debian, both via the BTS and via personal emails.

If anyone would like to pick up where I left off, please do let me
know.  I'd be happy to share with you what I learnt from the Python
version, but how relevant that will be for the new
Rust/Python/JavaScript incarnation, I do not know.  (And I don't know
how many other dependencies will need to be packaged from scratch,
unfortunately.  And one further complication is that Cargo.toml also
lists three forked crates)

Many thanks!

   Julian
--- End Message ---
--- Begin Message ---
Source: anki
Source-Version: 2.1.15+dfsg-4
Done: Laurin Hagemann 

We believe that the bug you reported is fixed in the latest version of
anki, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1040...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Laurin Hagemann  (supplier of updated anki package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)


-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512

Format: 1.8
Date: Mon, 04 Mar 2024 14:36:39 +
Source: anki
Architecture: source
Version: 2.1.15+dfsg-4
Distribution: unstable
Urgency: medium
Maintainer: Laurin Hagemann 
Changed-By: Laurin Hagemann 
Closes: 1040433
Changes:
 anki (2.1.15+dfsg-4) unstable; urgency=medium
 .
   * Adopt package (closes: #1040433)
   * bump debhelper-compat version: 11 -> 13
Checksums-Sha1:
 21b61c376bb3f14ea937568a2d4ae804bee255d6 2107 anki_2.1.15+dfsg-4.dsc
 49251d31342a15dc390368df8ff55fdafc1e7934 35104 anki_2.1.15+dfsg-4.debian.tar.xz
Checksums-Sha256:
 0b76f9a1bc9256d1f96e128adb53c9c80a76d812086bd17a9c5bef0ca3d4089e 2107 
anki_2.1.15+dfsg-4.dsc
 8d98687b1d790d7ba95bbf51e659f78a432a6ea4e9697a3fd3487330f23b5df8 35104 
anki_2.1.15+dfsg-4.debian.tar.xz
Files:
 7d03b96c32d755eb2a368297204f8924 2107 education optional anki_2.1.15+dfsg-4.dsc
 9c0fc6b25beb6bddc793d9cd50bb4d82 35104 education optional 
anki_2.1.15+dfsg-4.debian.tar.xz

-BEGIN PGP SIGNATURE-

iQKTBAEBCgB9FiEE0eExbpOnYKgQTYX6uzpoAYZJqgYFAmXl/V9fFIAALgAo
aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldEQx
RTEzMTZFOTNBNzYwQTgxMDREODVGQUJCM0E2ODAxODY0OUFBMDYACgkQuzpoAYZJ
qgZM9A/+No02g1DyULmxo06NODiAvC4nnvq7ltXmWWgJ7sVVZtPZG9EVV9MSLULp
of8bIP1gegyOsAqurZ7BCvwH/qLKcE5LbaiMdXCWVbqs8E+akGwkGPj9JXyotafE
EQN+D1hqxlgkJG7mAYu58kt63ezWkDms4Fzk+K2NomH18mKiyU3WR2yh5l6nXmUr
eLeLsR/5qE7qlZVA/AIAN2sfKhW+JB7VlsNlkCwGbUTj2WJDLIHssK8eUTO1F6pY
VFc/pSLo4vmu+fFEiKisem0CbxpOCV/utwEBjnt2omJRo27tmnWYH82StDjsjBXV
1Nwa+JyKJDom7GqnAgSkxpAWUvyzaBExagcztgDtDzq18vh3M+WuDLZF7bFbEliZ
LKz6tZvfmpKo3TNzYIkhKfCh/4eStF7QCqOkck4MRNLO9hEPzp+inPgkFbSJgpXr
nYo2e58CXcpFeRr+tWyF346/sz+85vfPc4J+ttgy4Epwgr/tCiZpHG40zDyCodT4
+d1/bDIczk9K6WvLsiQ+1NmzzeeejE5BUc8XeO8GvU758RrOwgPdI3u28Sw9RaLn
MPuGx/l72/e/9KI9THzQcvKmcABdFnRdz8gSW0n0RzLrMrN0D0zri8pPqQl3LqFt
a9TA1XLSUzAydkAAZln80qwgRwKisiCpurLcCPQhcDo4s8+fVlM=
=zPUC
-END PGP SIGNATURE-



pgpUYAfEtGBMh.pgp
Description: PGP signature
--- End 

Bug#1065438: O: gnu-which -- Utility to show the full path of commands

2024-03-04 Thread Boyuan Yang
Package: wnpp
Control: affects -1 + src:gnu-which
X-Debbugs-Cc: gnu-wh...@packages.debian.org
Severity: normal

I intend to orphan the gnu-which package. Its upstream at
GNU is not active, and future maintainers should look into
patches carried by other Linux distributions.

The package description is:
 This package provides GNU implementation of which command.
 This tool provides the functionality to show the full path
 of commands.

Thanks,
Boyuan Yang


signature.asc
Description: This is a digitally signed message part


Processed: O: gnu-which -- Utility to show the full path of commands

2024-03-04 Thread Debian Bug Tracking System
Processing control commands:

> affects -1 + src:gnu-which
Bug #1065438 [wnpp] O: gnu-which -- Utility to show the full path of commands
Added indication that 1065438 affects src:gnu-which

-- 
1065438: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1065438
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems



Processed: ITA: anki

2024-03-04 Thread Debian Bug Tracking System
Processing control commands:

> retitle -1 ITA: anki - flashcard learning program, has migrated to 
> Rust/Python/JavaScript combination
Bug #1040433 [wnpp] RFA: anki - flashcard learning program, has migrated to 
Rust/Python/JavaScript combination
Changed Bug title to 'ITA: anki - flashcard learning program, has migrated to 
Rust/Python/JavaScript combination' from 'RFA: anki - flashcard learning 
program, has migrated to Rust/Python/JavaScript combination'.
> owner -1 !
Bug #1040433 [wnpp] ITA: anki - flashcard learning program, has migrated to 
Rust/Python/JavaScript combination
Owner recorded as Laurin Hagemann .

-- 
1040433: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1040433
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems



Bug#1040433: ITA: anki

2024-03-04 Thread Laurin Hagemann
Control: retitle -1 ITA: anki - flashcard learning program, has migrated to 
Rust/Python/JavaScript combination
Control: owner -1 !

Hey,

I'm adopting the package. @Mae, @Christian: feel free to contact me if you want 
to work on anki packaging as well.

Kind regards, 
Laurin



Processed: ITP: phosh-wallpapers -- Phosh Wallpapers and other artwork

2024-03-04 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org:

> close 1065430
Bug #1065430 [wnpp] ITP: phosh-wallpapers -- Phosh Wallpapers and other artwork
Marked Bug as done
> stop
Stopping processing here.

Please contact me if you need assistance.
-- 
1065430: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1065430
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems



Bug#1065430: ITP: phosh-wallpapers -- Phosh Wallpapers and other artwork

2024-03-04 Thread Guido Günther
Package: wnpp
Severity: wishlist
Owner: Guido Günther 

* Package name: phosh-wallpapers
  Version : 0.37.0
  Upstream Contact: Guido Günther 
* URL : https://gitlab.gnome.org/guidog/phosh-wallpapers
* License : GPL, CC-BY-SA-4
  Description : Phosh Wallpapers and other artwork

This package contains the current wallpapers and plymouth theme.



Processed: RFS: ocaml-linenoise/1.5-1 [ITP] -- Lightweight readline alternative with OCaml

2024-03-04 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org:

> block 1064586 by 1065420
Bug #1064586 [wnpp] ITP: ocaml-linenoise -- Self-contained OCaml bindings to 
linenoise, easy high level readline functionality in OCaml
1064586 was not blocked by any bugs.
1064586 was not blocking any bugs.
Added blocking bug(s) of 1064586: 1065420
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
1064586: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1064586
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems



Bug#1065419: ITP: sail-ocaml -- Sail architecture definition language

2024-03-04 Thread Bo YU
Package: wnpp
Severity: wishlist
Owner: Bo YU 
X-Debbugs-Cc: debian-de...@lists.debian.org

* Package name: sail-ocaml
  Version : 0.17.1
  Upstream Contact: rems-project 
* URL : https://github.com/rems-project/sail
* License : BSD-2-Clause
  Programming Lang: OCaml 
  Description : Sail architecture definition language with OCaml

Sail is a language for describing the instruction-set architecture (ISA) 
semantics of processors. Sail aims to provide a engineer-friendly, 
vendor-pseudocode-like language for describing instruction semantics. It is 
essentially a first-order imperative language, but with lightweight dependent 
typing for numeric types and bitvector lengths, which are automatically checked 
using Z3.

Given a Sail definition, the tool will type-check it and generate 
documentation, executable emulators (in C and OCaml), theorem-prover 
definitions (for Isabelle, HOL4, and Coq), and definitions to integrate with 
our RMEM and isla-axiomatic tools for concurrency semantics. The Isla engine 
provides SMT-based symbolic evaluation for Sail models, and the Islaris 
verification tool integrates Isla output with the Iris program logic to support 
proof about binary code in Coq. Not all models are integrated with all tools - 
see the most recent papers and models for descriptions of the current state.

>>>--
This is a denpendency of sail-riscv[0] and I will maintain it under
Debian OCaml team.

[0]: https://github.com/riscv/sail-riscv
-- 
Regards,
--
  Bo YU



signature.asc
Description: PGP signature


Bug#1065417: ITP: omd -- omd-ocaml

2024-03-04 Thread Bo YU
Package: wnpp
Severity: wishlist
Owner: Bo YU 
X-Debbugs-Cc: debian-de...@lists.debian.org

* Package name: omd
  Version : 2.0.0 
  Upstream Contact: a...@recoil.org 
* URL : https://github.com/ocaml/omd
* License : ISC
  Programming Lang: OCaml
  Description : extensible Markdown library and tool in "pure OCaml"

Omd is an OCaml library designed to parse, manipulate, and print Markdown into 
different formats. In addition to the library, a command-line tool omd is 
included to easily convert markdown into HTML.

Omd aims for compliance with the CommonMark standard. We are currently 
compliant with 0.30 of the ComonMark spec.

--->>

This is a denpendency of sail[0].

[0]: https://github.com/rems-project/sail

-- 
Regards,
--
  Bo YU



signature.asc
Description: PGP signature