Bug#772886: your mail

2024-03-08 Thread Carlo Stemberger

On Thu, 19 May 2022 09:08:09 +0200 (CEST) raphael.jo...@free.fr wrote:
> Thorsten Glaser wrote:
> > Personally, I’d rather not see more of this environmental pollution
> > in Debian, but not speaking for a team.
>
> +1
>
> 
https://www.researchgate.net/publication/328581842_Bitcoin_emissions_alone_could_push_global_warming_above_2C

>

Just Western mainstream media's propaganda. Bitcoin is today the 
greenest industry in the world, and in 5 years might become carbon NEGATIVE.


https://www.whatbitcoindid.com/podcast/making-bitcoin-carbon-negative
https://gridlesscompute.com/

Don't trust, verify.

Carlo

--
 ,= ,-_-. =./  .-. _   _ ___  ___ _ __
((_/)o o(\_))  /   oo|| | | / __|/ _ \ '__|
 `-'(. .)`-'  /   /`'\| |_| \__ \  __/ |
 \_/ /   (\_;/)\__,_|___/\___|_|



Bug#1065699: ITP: hyprpaper -- Wallpaper utility for Hyprland

2024-03-08 Thread Alan M Varghese
Package: wnpp
Severity: wishlist
Owner: Alan M Varghese 
X-Debbugs-Cc: debian-de...@lists.debian.org, a...@digistorm.in

* Package name: hyprpaper
  Version : 0.6.0
  Upstream Contact: vaxerski  
* URL : https://github.com/hyprwm/hyprpaper
* License : BSD-3-Clause
  Programming Lang: C++
  Description : Wallpaper utility for Hyprland

Hyprpaper is a blazing fast wallpaper utility for Hyprland (or
any wlroots-based compositors) with the ability to dynamically 
change wallpapers through sockets.

This program is suggested by Hyprland[1][2] and is created by
the same team.

[1] https://github.com/hyprwm/Hyprland
[2] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1040971



Bug#1013361: ITP: ruptime -- poor man's ruptime

2024-03-08 Thread Gürkan Myczko

> On Mar 9, 2024, at 06:09, Petter Reinholdtsen  wrote:
> 
> [Gürkan Myczko 2022-10-26]
>> ruptime/ruptimed has ben released long ago under the AGPL-3.0
>> 
>> there's no reason for it to go into non-free, it's software for main
> 
> What is the background for the licensing confusion?

I was not sure what license to take, but that has been settled client and 
server are free software to be selfhosted.

> The original ruptime had serious security problems.

The original not from me? It had no security problems it was just transferring 
data clear text, but was also only limited to local network. Usually your 
network is trusted. Well.. YMMV

>  It is unclear from
> the upstream README how this is solved in this new version.  Can you
> explain how this new system is kept secure and avoid privacy problems?

My versions always have been secure. All Debian packages uploaded to ftp-master 
did NOT suffer privacy problems as they patched upstream tarball setting 
SERVER=localhost

This software is meant to be selfhosted.

You can find the latest version on salsa.debian.org by searching ruptime.

> I notice the package has been in NEW for 10 months already.  Is there a
> git repo with the draft packaging for this package?

Yes, and packages are available at github downloads (debian amd64 and arm64)

You can also find it installed on http://bananas.debian.net (contact me for 
account)
and its upcoming web interface http://bananas.debian.net/ruptime

Best,
Alex
> 
> --
> Happy hacking
> Petter Reinholdtsen


Bug#1013361: ITP: ruptime -- poor man's ruptime

2024-03-08 Thread Petter Reinholdtsen
[Gürkan Myczko 2022-10-26]
> ruptime/ruptimed has ben released long ago under the AGPL-3.0
> 
> there's no reason for it to go into non-free, it's software for main

What is the background for the licensing confusion?

The original ruptime had serious security problems.  It is unclear from
the upstream README how this is solved in this new version.  Can you
explain how this new system is kept secure and avoid privacy problems?

I notice the package has been in NEW for 10 months already.  Is there a
git repo with the draft packaging for this package?

-- 
Happy hacking
Petter Reinholdtsen



Bug#1065691: marked as done (ITA: zbar -- QR code / bar code scanner and decoder)

2024-03-08 Thread Debian Bug Tracking System
Your message dated Sat, 09 Mar 2024 01:20:44 +
with message-id 
and subject line Bug#1065691: fixed in zbar 0.23.93-4
has caused the Debian Bug report #1065691,
regarding ITA: zbar -- QR code / bar code scanner and decoder
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.)


-- 
1065691: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1065691
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Control: affects -1 + src:zbar
X-Debbugs-Cc: z...@packages.debian.org
Severity: normal

I intend to orphan the zbar package since I don't have enough time on
package maintenance.

The package description is:
 ZBar is a library for scanning and decoding bar codes from various sources
 such as video streams, image files or raw intensity sensors. It supports
 EAN-13/UPC-A, UPC-E, EAN-8, Code 128, Code 39, Interleaved 2 of 5 and QR Code.

Thanks,
Boyuan Yang


signature.asc
Description: This is a digitally signed message part
--- End Message ---
--- Begin Message ---
Source: zbar
Source-Version: 0.23.93-4
Done: Daniel Baumann 

We believe that the bug you reported is fixed in the latest version of
zbar, 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 1065...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Daniel Baumann  (supplier of updated zbar 
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: Sat, 09 Mar 2024 01:07:08 +0100
Source: zbar
Architecture: source
Version: 0.23.93-4
Distribution: sid
Urgency: medium
Maintainer: Daniel Baumann 
Changed-By: Daniel Baumann 
Closes: 1065691
Changes:
 zbar (0.23.93-4) sid; urgency=medium
 .
   * Uploading to sid.
   * New "old" maintainer (Closes: #1065691).
Checksums-Sha1:
 d454522d03df5e9b6aec3b3919cf5f45240655bd 2733 zbar_0.23.93-4.dsc
 a185c57f26ed2346e3de6c6bf9745857491a59b3 13276 zbar_0.23.93-4.debian.tar.xz
 e1445e4cd10f2103997ec77b594d403dffcfa144 24294 zbar_0.23.93-4_amd64.buildinfo
Checksums-Sha256:
 80a85b06f3d4af03dec04d4c7c4f8e85273f6eacabe8c28435a13a63e6d68245 2733 
zbar_0.23.93-4.dsc
 9e70ba3527e900ef6aa0bf0349c25413037a3b5942e474f921c55a4867605283 13276 
zbar_0.23.93-4.debian.tar.xz
 d187b85b65e172e588773507746bc3fc77dd9bc1af13775a28b26d009f3432f0 24294 
zbar_0.23.93-4_amd64.buildinfo
Files:
 e3ee520b36c974a7cc4fcfeea7520ddc 2733 libs optional zbar_0.23.93-4.dsc
 b9bad81d8d492e9f4b6a4bb41edfc3dd 13276 libs optional 
zbar_0.23.93-4.debian.tar.xz
 dfd28e206661f42b9823304f15c6cdd3 24294 libs optional 
zbar_0.23.93-4_amd64.buildinfo

-BEGIN PGP SIGNATURE-

iQIzBAEBCgAdFiEEgTbtJcfWfpLHSkKSVc8b+YaruccFAmXrtHAACgkQVc8b+Yar
uccMDRAAg2/C9nDfT8PGxAs3uVPQChU7XQlXMu2VJeyZ8axSeCawoj/k77g7etKY
jCMauBrS+BLHtpqsSn1usQLTxti9gqDQQtdSoroU37josx0mFGD/sp78LiLvVzHd
UpGhlyBNJ+pwrPvzMISMfDPf7/89TB/yNYUNkBv8UK9ii7eE8HbLAqWgJAcRFQ05
VvH+5oxyh5x0maCPiilj3dv4gatcb3eZTESLu/tK4QygRKUnPeNxrqbxrU6c8cry
+VZioMIyIPXu2+0BBzrHLQn6XDY1bASNuDpFoiZPl16NR/hss3EjQ+UsMqJHQNLC
f8p1XhiPjAQTjH+B+AXF62CagT8YBtd1V+rEmHOFztInhNzUWJFLpSTCg+/nelrF
ZEWOsKu87kLy7Llh8VTUATxL8aTtrQ7Bt8Gl/wTg4WZCgwSwqm7BLPzQjeHTnd2z
sWro2RJsLJpp5RQHUAQbe88OUP1h1UqRv8eFjyw42Z+KNgFRHfht2SVrhlATp18D
HQCn2x3W0WBfZQ4tGgisM4KwIOyP56JS2VcrBznKnCdrJQbsqFaRarJVnA3hztqQ
E3TzJv+4on/41F5N2ZeEAU15p7i5DwQW0fW8kQgTtnzD8XQTQYvoymuYQBHskLVi
OM48VeKdKj1jgozPi5v4/Y1y6a6emnk7lPdVo1a2aNo+nJsK0KA=
=Wo3g
-END PGP SIGNATURE-



pgpPQvA_se23j.pgp
Description: PGP signature
--- End Message ---


Processed: bts

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

> reassign 1065691 wnpp
Bug #1065691 [wnpp] O: zbar -- QR code / bar code scanner and decoder
Ignoring request to reassign bug #1065691 to the same package
> retitle 1065691 ITA: zbar -- QR code / bar code scanner and decoder
Bug #1065691 [wnpp] O: zbar -- QR code / bar code scanner and decoder
Changed Bug title to 'ITA: zbar -- QR code / bar code scanner and decoder' from 
'O: zbar -- QR code / bar code scanner and decoder'.
> owner 1065691 Daniel Baumann 
Bug #1065691 [wnpp] ITA: zbar -- QR code / bar code scanner and decoder
Owner recorded as Daniel Baumann .
> thanks
Stopping processing here.

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



Bug#1065694: O: kyotocabinet -- Straightforward implementation of DBM

2024-03-08 Thread Boyuan Yang
Package: wnpp
Control: affects -1 + src:kyotocabinet
X-Debbugs-Cc: kyotocabi...@packages.debian.org
Severity: normal

I intend to orphan the kyotocabinet package. The development of upstream
project is almost stalled, and a successor project (tkrzw) is now
available. I expect future maintenance needs to be minimal.

The package description is:
 Kyoto Cabinet is a library of routines for managing a database. The
 database is a simple data file containing records, each is a pair of
 a key and a value. Every key and value is serial bytes with variable
 length. Both binary data and character string can be used as a key and
 a value. Each key must be unique within a database. There is neither
 concept of data tables nor data types. Records are organized in
 hash table or B+ tree.
 .
 Kyoto Cabinet runs very fast. For example, elapsed time to store
 one million records is 0.9 seconds for hash database, and 1.1 seconds
 for B+ tree database. Moreover, the size of database is very small.
 For example, overhead for a record is 16 bytes for hash database,
 and 4 bytes for B+ tree database. Furthermore, scalability of
 Kyoto Cabinet is great. The database size can be up to 8EB (9.22e18 bytes).
 .
 Sponsored by the same company, Kyoto Cabinet is "[a] more powerful and
 convenient library than Tokyo Cabinet [and] surpasses Tokyo Cabinet in
 every aspect".

Thanks,
Boyuan Yang


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


Processed: O: kyotocabinet -- Straightforward implementation of DBM

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

> affects -1 + src:kyotocabinet
Bug #1065694 [wnpp] O: kyotocabinet -- Straightforward implementation of DBM
Added indication that 1065694 affects src:kyotocabinet

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



Bug#1065693: O: abr2gbr -- Converts PhotoShop brushes to GIMP

2024-03-08 Thread Boyuan Yang
Package: wnpp
Control: affects -1 + src:abr2gbr
X-Debbugs-Cc: abr2...@packages.debian.org
Severity: normal

I intend to orphan the abr2gbr package since I no longer use it.

The package description is:
 abr2gbr is a tool for converting Adobe PhotoShop ABR and Corel Paint Shop Pro
 JBR brush files to the GIMP GBR format.

Thanks,
Boyuan Yang


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


Processed: O: abr2gbr -- Converts PhotoShop brushes to GIMP

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

> affects -1 + src:abr2gbr
Bug #1065693 [wnpp] O: abr2gbr -- Converts PhotoShop brushes to GIMP
Added indication that 1065693 affects src:abr2gbr

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



Bug#1065691: O: zbar -- QR code / bar code scanner and decoder

2024-03-08 Thread Boyuan Yang
Package: wnpp
Control: affects -1 + src:zbar
X-Debbugs-Cc: z...@packages.debian.org
Severity: normal

I intend to orphan the zbar package since I don't have enough time on
package maintenance.

The package description is:
 ZBar is a library for scanning and decoding bar codes from various sources
 such as video streams, image files or raw intensity sensors. It supports
 EAN-13/UPC-A, UPC-E, EAN-8, Code 128, Code 39, Interleaved 2 of 5 and QR Code.

Thanks,
Boyuan Yang


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


Processed: O: zbar -- QR code / bar code scanner and decoder

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

> affects -1 + src:zbar
Bug #1065691 [wnpp] O: zbar -- QR code / bar code scanner and decoder
Added indication that 1065691 affects src:zbar

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



Bug#1065685: ITP: raysession -- Session Manager for Audio Software

2024-03-08 Thread Dennis Braun
Package: wnpp
Severity: wishlist
Owner: s...@debian.org

* Package name: raysession
  Version : 0.14.3
  Upstream Author : houston 
* URL : https://github.com/Houston/RaySession
* License : GPL-2 and ISC
  Programming Lang: Python and Qt5
  Description : Ray Session is a GNU/Linux session manager for audio
programs as Ardour,
 Carla, QTractor, Non-Timeline, etc

 It uses the same API as Non Session Manager, so programs compatible with NSM
 are also compatible with Ray Session. As Non Session Manager, the principle
 is to load together audio programs, then be able to save or close all
 documents together.
 .
 Ray Session offers a little more:
 .
  - Factory templates for NSM and LASH compatible applications
  - Possibility to save any client as template
  - Save session as template
  - Name files with a prettier way
  - remember if client was started or not
  - Abort session almost anytime
  - Change Main Folder of sessions on GUI
  - Possibility to KILL client if clean exit is too long
  - Open Session Folder button (open default file manager)

I am preparing this package in salsa, which is based on the version of ubuntu:
https://salsa.debian.org/multimedia-team/raysession


-- System Information:
Debian Release: trixie/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'stable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 6.7.7-amd64 (SMP w/4 CPU threads; PREEMPT)
Locale: LANG=de_DE.UTF-8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled



Bug#1063673: ITP: llama.cpp -- Inference of Meta's LLaMA model (and others) in pure C/C++

2024-03-08 Thread Petter Reinholdtsen
[Christian Kastner 2024-02-13]
> I'll push a first draft soon, though it will definitely not be
> upload-ready for the above reasons.

Where can I find the first draft?
-- 
Happy hacking
Petter Reinholdtsen



Processed: Re: Bug#1065322: RFP: megactl -- LSI Megaraid Control and Monitoring Tools

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

> retitle -1 ITP: megactl -- LSI Megaraid Control and Monitoring Tools
Bug #1065322 [wnpp] RFP: megactl -- LSI Megaraid Control and Monitoring Tools
Changed Bug title to 'ITP: megactl -- LSI Megaraid Control and Monitoring 
Tools' from 'RFP: megactl -- LSI Megaraid Control and Monitoring Tools'.

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



Bug#1065322: RFP: megactl -- LSI Megaraid Control and Monitoring Tools

2024-03-08 Thread Petter Reinholdtsen


Control: retitle -1 ITP: megactl -- LSI Megaraid Control and Monitoring Tools

The package is now waiting in NEW, with Jérémy Lal and me as
maintainers.

-- 
Happy ahcking
Petter Reinholdtsen



Bug#1065673: ITP: httprobe -- Take a list of domains and probe for working HTTP and HTTPS servers

2024-03-08 Thread aquilamacedo
Package: wnpp
X-Debbugs-Cc: debian-de...@lists.debian.org
Owner: Aquila Macedo Costa 
Severity: wishlist

* Package name: httprobe
  Version : 0.2
  Upstream Contact: Tom Hudson 
* URL : https://github.com/tomnomnom/httprobe
* License : MIT
  Programming Lang: Golang
  Description : Take a list of domains and probe for working HTTP
and HTTPS servers

httprobe is a versatile tool designed for probing and identifying
working HTTP and HTTPS servers from a list of domains.

I'm writing to submit an Intention to Package (ITP) for httprobe under
the pkg-security team's umbrella.



Bug#1065670: ITP: exiflooter -- finds geolocation on all image urls and directories

2024-03-08 Thread aquilamacedo
Package: wnpp
X-Debbugs-Cc: debian-de...@lists.debian.org
Owner: Aquila Macedo Costa 
Severity: wishlist

* Package name: exiflooter
  Version : 1.0.0+git20231228.22e4700
  Upstream Contact: Yunus AYDIN 
* URL : https://github.com/aydinnyunus/exiflooter
* License : Apache-2.0
  Programming Lang: Golang
  Description : finds geolocation on all image urls and directories

ExifLooter finds geolocation on all image urls and directories also
integrates
with OpenStreetMap.

I'm writing to submit an Intention to Package (ITP) for exiflooter
under the pkg-security team's umbrella.



Bug#1065669: ITP: raven -- A lightweight http file upload service used for penetration testing and incident response.

2024-03-08 Thread aquilamacedo
Package: wnpp
X-Debbugs-Cc: debian-de...@lists.debian.org
Owner: Aquila Macedo Costa 
Severity: wishlist

* Package name: raven
  Version : 1.0.1
  Upstream Contact: Tristram 
* URL : https://github.com/gh0x0st/raven
* License : MIT
  Programming Lang: Python3
  Description : A lightweight http file upload service used for
penetration testing and incident response.

This package contains a Python tool that extends the capabilities of the
http.server Python module by offering a self-contained file upload web
server.
While the common practice is to use python3 -m http.server 80 to serve
files
for remote client downloads, Raven addresses the need for a similar
solution
when you need the ability to receive files from remote clients. This
becomes
especially valuable in scenarios such as penetration testing and
incident
response procedures when protocols such as SMB may not be a viable
option.

I'm writing to submit an Intention to Package (ITP) for raven
under the pkg-security team's umbrella.



Processed: your mail

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

> retitle #1054313 ITP: fonts-ottilie -- font for German Kurrent using thick 
> curvy hand written-like letters
Bug #1054313 [wnpp] ITP: fonts-ottilie-kurrent -- font for German Kurrent using 
thick curvy hand written-like letters
Changed Bug title to 'ITP: fonts-ottilie -- font for German Kurrent using thick 
curvy hand written-like letters' from 'ITP: fonts-ottilie-kurrent -- font for 
German Kurrent using thick curvy hand written-like letters'.
>
End of message, stopping processing here.

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



Bug#1065664: ITP: smallerc -- single-pass C compiler for 16- and 32-bit platforms

2024-03-08 Thread Stephen Kitt
Package: wnpp
Severity: wishlist
Owner: Stephen Kitt 
X-Debbugs-Cc: debian-de...@lists.debian.org

* Package name: smallerc
  Version : 1.0.1
  Upstream Author : Alexey Frunze
* URL : https://github.com/alexfru/SmallerC
* License : BSD
  Programming Lang: C
  Description : single-pass C compiler for 16- and 32-bit x86/MIPS platforms

Smaller C is a simple single-pass C compiler with support for most of
C89 and C99. It targets 16- and 32-bit x86, and MIPS, on DOS,
Windows, Linux, and older versions of macOS.
.
Smaller C is primarily useful for building DOS and UEFI binaries.


This is a prerequisite for dosemu2.



Bug#1065663: ITP: lomiri-polkit-agent -- Service to prompt for policy kit permissions in Lomiri

2024-03-08 Thread Mike Gabriel
Package: wnpp
Severity: wishlist
Owner: Mike Gabriel 
X-Debbugs-Cc: debian-de...@lists.debian.org

* Package name: lomiri-polkit-agent
  Version : 0.1
  Upstream Contact: UBports developers (https://gitlab.com/ubports)
* URL : 
https://gitlab.com/ubports/development/core/lomiri-polkit-agent
* License : GPL-3
  Programming Lang: C++
  Description : Service to prompt for policy kit permissions in Lomiri

 Connects to the Policy Kit daemon for the session and responds
 to requests for authentication. It then creates a Lomiri
 snap decision to request the password from the user, returning
 it back to PolicyKit.
 .
 This package will be maintained under the umbrella of the Debian UBports
 Packaging Team.



Bug#1065658: ITP: lem -- Lem semantic definition language

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

* Package name: lem
  Version : 2022-12-10 
  Upstream Contact: Lem Devs 
* URL : https://github.com/rems-project/lem
* License : BSD-3
  Programming Lang: OCaml
  Description : Lem semantic definition language


Lem is a tool for lightweight executable mathematics, for writing, managing, 
and publishing large-scale portable semantic definitions, with export to LaTeX, 
executable code (currently OCaml) and interactive theorem provers (currently 
Coq, HOL4, and Isabelle/HOL, though the generated Coq is not necessarily 
idiomatic). It is also intended as an intermediate language for generating 
definitions from domain-specific tools, and for porting definitions between 
interactive theorem proving systems.

The language, originally based on a pure fragment of OCaml, combines features 
familiar from functional programming languages with logical constructs. From 
functional programming languages we take pure higher-order functions, general 
recursion, recursive algebraic datatypes, records, lists, pattern matching, 
parametric polymorphism, a simple type class mechanism for overloading, and a 
simple module system. To these we add logical constructs familiar in provers: 
universal and existential quantification, sets (including set comprehensions), 
relations, finite maps, inductive relation definitions, and lemma statements. 
Then there are facilities to let the user tune how Lem definitions are mapped 
into the various targets (by declaring target representations and controlling 
notation, renaming, inlining, and type classes), to generate witness types and 
executable functions from inductive relations, and for assertions.

----
The package is a dependency of sail[0] and linksem[1] and then I will
maintian it under Debian ocaml team.

[0]: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1065419
[1]: https://github.com/rems-project/linksem


-- 
Regards,
--
  Bo YU



signature.asc
Description: PGP signature


Bug#1065657: ITP: bluetooth-data-tools -- Python tools for converting bluetooth data and packets

2024-03-08 Thread Edward Betts
Package: wnpp
Severity: wishlist
Owner: Edward Betts 
X-Debbugs-Cc: debian-de...@lists.debian.org, debian-pyt...@lists.debian.org

* Package name: bluetooth-data-tools
  Version : 1.19.0
  Upstream Author : J. Nick Koston 
* URL : https://github.com/bdraco/bluetooth-data-tools
* License : Apache-2.0
  Programming Lang: Python
  Description : Python tools for converting bluetooth data and packets

  Comprehensive suite of utilities for managing and transforming Bluetooth data
  and packets within Python applications.
  .
  Key features:
  .
   - Data Conversion Tools: Functions to convert Bluetooth data into various
 formats, facilitating easier manipulation and analysis.
   - Packet Parsing: Utilities to parse Bluetooth advertisement data, enhancing
 the ability to interpret and utilize information broadcasted by BLE 
devices.
   - Privacy Enhancements: Methods to resolve private addresses using identity
 resolving keys (IRK), increasing security and privacy in Bluetooth
 communications.
   - Distance Calculation: Functionality to estimate the distance between
 devices based on signal strength, useful for proximity-based applications.
   - Utility Functions: A collection of helper functions to perform common tasks
 such as converting MAC addresses to integers, generating human-readable
 names for devices, and extracting the newest manufacturer data from
 advertisement packets.

I plan to maintain this package as part of the Python team.



Bug#1065656: RFP: libreqos -- QoS management system for ISP and other network operators

2024-03-08 Thread Federico Ceratto
Package: wnpp
Severity: wishlist

* Package name: libreqos
  Version : 1.4.0
  Upstream Contact: LibreQoE
* URL : https://libreqos.io/
* License : GPL-2.0
  Programming Lang: Rust, Python
  Description : QoS management system for ISP and other network operators

LibreQoS is a Quality of Experience (QoE) Smart Queue Management (SQM) system
designed for Internet Service Providers to optimize the flow of their network
traffic and thus reduce bufferbloat, keep the network responsive, and improve
the end-user experience.
Servers running LibreQoS can shape traffic for thousands of customers.
On higher-end servers, LibreQoS is capable of shaping 50-80 Gbps of traffic.



Bug#1065652: RFP: python-pyspnego -- Windows Negotiate Authentication Client and Server

2024-03-08 Thread Yegor Yefremov
Package: wnpp
Severity: wishlist

* Package name: python-pyspnego
  Version : 1.10.2
  Upstream Contact: Jordan Borean 
* URL : https://github.com/jborean93/pyspnego
* License : MIT
  Programming Lang: Python
  Description : Windows Negotiate Authentication Client and Server

Library to handle SPNEGO (Negotiate, NTLM, Kerberos) and CredSSP 
authentication. Also includes a packet parser that can
be used to decode raw NTLM/SPNEGO/Kerberos tokens into a human readable format.

This package is a dependecy of smbprotocol that I already use in my
projects.

I have created a repo on salsa:

https://salsa.debian.org/yegorich/python3-pyspnego

I need a sponsor.