Bug#1076704: ITP: python-tksheet -- Python tkinter table widget for displaying tabular data
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: python-tksheet Version : 7.2.17 Upstream Contact: ragardner * URL : https://github.com/ragardner/tksheet * License : MIT Programming Lang: Python Description : Python tkinter table widget for displaying tabular data tksheet is a Python tkinter table widget written in pure Python. It works by using tkinter canvases and moving lines, text and rectangles around for only the visible portion of the table. This is one of optional dependencies for pygubu[0] and I will maintian it under Debian Python Team. [0]: https://bugs.debian.org/1020766 -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1068899: ITP: qtrvsim -- RISC-V CPU simulator for education purposes
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org, debian-ri...@lists.debian.org * Package name: qtrvsim Version : 0.9.7 Upstream Contact: p...@cmp.felk.cvut.cz * URL : https://github.com/cvut/qtrvsim * License : GPL-3.0 Programming Lang: C++, Python, shell Description : RISC-V CPU simulator for education This is a widely recommended riscv emulator in the riscv community so I want to bring it to Debian also. The simulator accepts ELF statically linked executables compiled for RISC-V target (--march=rv64g). The simulator will automatically select endianness based on the ELF file header. Simulation will execute as XLEN=32 or XLEN=32 according to the ELF file header. 64-bit RISC-V ISA RV64IM and 32-bit RV32IM ELF executables are supported. Compressed instructions are not yet supported. You can use compile the code for simulation using specialized RISC-V GCC/Binutils toolchain (riscv32-elf) or using unified Clang/LLVM toolchain with LLD. -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1068621: ITP: bisect-ppx -- Code coverage for OCaml and ReScript
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: bisect-ppx Version : 2.8.3 Upstream Contact: Anton Bachin Leonid Rozenberg * URL : https://github.com/aantron/bisect_ppx * License : MIT Programming Lang: OCaml Description : Code coverage for OCaml and ReScript Bisect-ppx helps you test thoroughly. It is a small preprocessor that inserts instrumentation at places in your code, such as if-then-else and match expressions. After you run tests, Bisect-ppx gives a nice HTML report showing which places were visited and which were missed. Usage is simple - add package bisect-ppx when building tests, run your tests, then run the Bisect-ppx report tool on the generated visitation files." The package is a dependency of sail[0] also. I will package it and maintianit under Debian OCaml team. [0]: https://bugs.debian.org/1065419 -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1067819: ITP: linksem -- Semantic model for aspects of ELF static linking and DWARF debug information
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: linksem Version : 0.8 Upstream Contact: Linksem Devs * URL : https://github.com/rems-project/linksem * License : BSD-2 Programming Lang: OCaml Description : Semantic model for aspects of ELF static linking and DWARF debug information Linksem is a formalisation of substantial parts of ELF linking and DWARF debug information. It contains: A formalisation of the core ELF file format, the de facto standard executable and linkable file format on Linux and related systems, written in Lem. This formalisation has been tested against approximately 5,000 ELF binaries found "in the wild" on various different platforms. A partial formalisation of various aspects of the platform Application Binary Interfaces for AMD64, Power64, AArch64, and X86-32, as well as a partial formalisation of the GNU extensions for ELF that the Linux operating system expects. These formalisations have been formalised on an ad hoc basis, as they were needed and may (almost certainly will be) incomplete. An executable linker/link-checker built atop the aforementioned ELF and ABI formalisations for AMD64, capable of linking complex link-jobs such as bzip2, derived from an OCaml extraction of the Lem models above. A sample proof of correctness for AMD64 relocation, using an Isabelle/HOL extraction of the linker, ELF model, and ABI formalisations mentioned above. A formalisation of the DWARF debug information format, as an executable specification that interprets the DWARF information. The ELF formalisation (and parts of the ABI formalisation) are currently also being used as a subcomponent of the rmem architectural exploration tool, for parsing ELF files and setting up initial machine states. --> This is a critical dependency for sail[0]. But it depends on lem[1] first. [0]: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1065419 [1]: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1065658 -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1065658: ITP: lem -- Lem semantic definition language
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@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#1065419: ITP: sail-ocaml -- Sail architecture definition language
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@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
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@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
Bug#1064586: ITP: ocaml-linenoise -- Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org, debian-ocaml-ma...@lists.debian.org * Package name: ocaml-linenoise Version : v1.5 Upstream Contact: ocaml-community * URL : https://github.com/ocaml-community/ocaml-linenoise/ * License : BSD Programming Lang: ocaml Description : Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml Below is descriptions from homepage: BSD licensed. No system dependencies, no need for readline on your machine. Related to 2, these bindings are self-contained, the source for linenoise is in this repo and compiled all together with the OCaml. Written in OCaml + C. Pretty cool hints feature, see the gif. Additional features compared to linenoise, such as history search The package is a dependency of sail[0] and and I will maintain it under Debian ocaml team. [0]: https://github.com/rems-project/sail -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1064255: ITP: aemu -- This is an utility library for common functions used in the Android Emulator. External projects (gfxstream, QEMU) may use to perform C++ functions.
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: aemu Version : 0.1.2 Upstream Contact: Google * URL : https://android.googlesource.com/platform/hardware/google/aemu/ * License : Apache-2.0 Programming Lang: C++ Description : This is an utility library for common functions used in the Android Emulator. External projects (gfxstream, QEMU) may use to perform C++ functions. AEMU development files, used by gfxstream to build against. This is a blocker of #1059295 as above descriptions. https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1059295 -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1052461: ITP: filecheck -- Attempt to reimplement LLVM's FileCheck using Python.
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: filecheck Version : 0.0.23 Upstream Contact: s.pankev...@gmail.com * URL : https://github.com/mull-project/FileCheck.py * License : Apache-2.0 license Programming Lang: Python Description : Attempt to reimplement LLVM's FileCheck using Python. Many software projects could benefit from a suite of LLVM LIT integration tests. The problem is that you have to build FileCheck from LLVM sources which is not a trivial task for 1) people who are not familiar with the LLVM infrastructure and 2) Python-based projects that would prefer to not have to build anything from LLVM's source code in their CI process. The option of having pre-compiled binaries is a workaround, but we don't like to keep third-party binary artifacts in source code This is a B-D for #1052439 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1052439 -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1052439: ITP: riscemu -- RISC-V emulator in python
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: riscemu Version : 2.1.1 Upstream Contact: Anton Lydike * URL : https://github.com/AntonLydike/riscemu * License : MIT Programming Lang: Python Description : RISC-V emulator in python Implementing a basic RISC-V emulator, aimed at being easily extendable. Check out the docs at readthedocs or riscemu.datenvorr.at. This emulator contains: * RISC-V Assembly parser * RISC-V Assembly loader * Emulation for most parts of the basic RISC-V instruction set and the M and A extensions * Naive memory emulator * Basic implementation of some syscalls * A debugging environment This package will get maintained within the Debian Python Team. -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1030841: ITP: frp -- A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: frp Version : 0.36.1-1 Upstream Author : * URL : https://github.com/fatedier/frp * License : Apache-2.0 Programming Lang: Go Description : A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet. . frp is a fast reverse proxy to help you expose a local server behind a NAT or firewall to the Internet. As of now, it supports **TCP** and **UDP**, as well as **HTTP** and **HTTPS** protocols, where requests can be forwarded to internal services by domain name. . This package will be maintained under Debian go team. signature.asc Description: PGP signature
Bug#1027802: ITP: pyro5 -- distributed object middleware for Python (RPC)
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: pyro5 Version : 5.14.0 Upstream Author : Irmen de Jong * URL : https://pypi.python.org/pypi/Pyro5/ * License : MIT Programming Lang: Python Description : distributed object middleware for Python (RPC) Now Debian has pyro4, but upstream has decided to end its life on python3.10. Pyro5 is its successor. -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1026966: ITP: xdoctest -- Xdoctest - Execute doctests. A Python package for executing tests in documentation strings!
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: xdoctest Version : 1.1.0 Upstream Author : Jon Crall * URL : https://github.com/Erotemic/xdoctest * License : Apache-2.0 license Programming Lang: Python, Description : Xdoctest - Execute doctests. A Python package for executing tests in documentation strings! A rewrite of Python's builtin doctest module (with pytest plugin integration) with AST instead of REGEX. This blocks #1025513 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1025513 -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1025513: ITP: ubelt -- A Python utility library with a stdlib like feel and extra batteries. Paths, Progress, Dicts, Downloads, Caching, Hashing: ubelt makes it easy!
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: ubelt Version : 1.2.3 Upstream Author : Jon Crall * URL : https://github.com/Erotemic/ubelt * License : (GPL, LGPL, BSD, MIT/X, etc.) Programming Lang: Python Description : A Python utility library with a stdlib like feel and extra batteries. Paths, Progress, Dicts, Downloads, Caching, Hashing: ubelt makes it easy! Ubelt is a small library of robust, tested, documented, and simple functions that extend the Python standard library. It has a flat API that all behaves similarly on Windows, Mac, and Linux (up to some small unavoidable differences). Almost every function in ubelt was written with a doctest. This provides helpful documentation and example usage as well as helping achieve 100% test coverage (with minor exceptions on Windows). The package blocks to be fixed for #1024047 and I will maintain it under DPT. -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1023657: ITP: misk -- Miscellaneous useful bits for Python 3
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: misk Version : 0.7.0 Upstream Author : Mark Gillard * URL : https://github.com/marzer/misk * License : python Programming Lang: Python Description : Miscellaneous useful bits for Python 3 Miscellaneous useful bits for python 3. The package is prerequisite for poxy[0] and will be maintained under Debian Python Team [0]: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1023523 -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1022099: ITP: pyproject-examples -- Example pyproject.toml configs for testing
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: pyproject-examples Version : 2022.5.18 Upstream Author : Dominic Davis-Foster * URL : https://github.com/repo-helper/pyproject-examples * License : MIT Programming Lang: Python Description : Example pyproject.toml configs for testing These are designed to be used in the testsuite for pyproject-parser and whey, but may be useful for other tools based on those. The package will be maintained by Python team. -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1021073: ITP: tkcalendar -- tkcalendar is a python module that provides the Calendar and DateEntry widgets for Tkinter
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: tkcalendar Version : x.y.z Upstream Author : Juliette Monsel * URL : https://github.com/j4321/tkcalendar * License : GPL-3.0 Programming Lang: Python Description : tkcalendar is a python module that provides the Calendar and DateEntry widgets for Tkinter tkcalendar is a python module that provides the Calendar and DateEntry widgets for Tkinter. The DateEntry widget is similar to a Combobox, but the drop-down is not a list but a Calendar to select a date. Events can be displayed in the Calendar with custom colors and a tooltip displays the event list for a given day. tkcalendar is compatible with both Python 2 and Python 3. It supports many locale settings (e.g. 'fr_FR', 'en_US', ..) and the colors are customizable. This package is depended on by pygubu and I will maintain it under Python team. -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1020766: ITP: pygubu -- A simple GUI builder for the python tkinter module
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: pygubu Version : v0.25.1 Upstream Author : Alejandro Autalán * URL : https://github.com/alejandroautalan/pygubu * License : MIT Programming Lang: Python Description : A simple GUI builder for the python tkinter module Pygubu is a RAD tool to enable quick and easy development of user interfaces for the Python's tkinter module. The user interfaces designed are saved as XML files, and, by using the pygubu builder, these can be loaded by applications dynamically as needed. Pygubu is inspired by Glade. This packages is a dependency package of funing[0] and it will be maintained by Debian Python team. [0]: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1018175 -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1019237: ITP: thelounge -- Modern, responsive, cross-platform, self-hosted web IRC client
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: thelounge Version : v4.3.1 - 2022-04-11 Upstream Author : Max Leiter * URL : https://github.com/thelounge/thelounge * License : MIT Programming Lang: TypeScript, Vue Description : Modern, responsive, cross-platform, self-hosted web IRC client Modern features brought to IRC. Push notifications, link previews, new message markers, and more bring IRC to the 21st century. Always connected. Remains connected to IRC servers while you are offline. Cross platform. It doesn't matter what OS you use, it just works wherever Node.js runs. Responsive interface. The client works smoothly on every desktop, smartphone and tablet. Synchronized experience. Always resume where you left off no matter what device. To learn more about configuration, usage and features of The Lounge, take a look at the website. The Lounge is the official and community-managed fork of Shout, by Mattias Erming. -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1018175: ITP: funing -- a simple face recognition GUI
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: funing Version : 0.2.54 Upstream Author : larryw3i * URL : https://pypi.org/project/funing/ * License : MIT Programming Lang: Python Description : a simple face recognition GUI a simple face recognition GUI. I will maintain it under Python team. -- Regards, -- Bo YU signature.asc Description: PGP signature
Bug#1012251: ITP: golang-github-coredns-coredns -- CoreDNS is a DNS server/forwarder, written in Go, that chains plugins. Each plugin performs a (DNS) function.
Package: wnpp Severity: wishlist Owner: Bo YU X-Debbugs-Cc: debian-devel@lists.debian.org, debian...@lists.debian.org * Package name: golang-github-coredns-coredns Version : 1.9.3 Upstream Author : Miek Gieben * URL : https://github.com/coredns/coredns * License : (GPL, LGPL, BSD, MIT/X, etc.) Programming Lang: go Description : CoreDNS is a DNS server/forwarder, written in Go, that chains plugins. Each plugin performs a (DNS) function. CoreDNS is a DNS server/forwarder, written in Go, that chains plugins. Each plugin performs a (DNS) function. CoreDNS is a Cloud Native Computing Foundation graduated project. CoreDNS is a fast and flexible DNS server. The key word here is flexible: with CoreDNS you are able to do what you want with your DNS data by utilizing plugins. If some functionality is not provided out of the box you can add it by writing a plugin. CoreDNS can listen for DNS requests coming in over UDP/TCP (go'old DNS), TLS (RFC 7858), also called DoT, DNS over HTTP/2 - DoH - (RFC 8484) and gRPC (not a standard). Currently CoreDNS is able to: * Serve zone data from a file; both DNSSEC (NSEC only) and DNS are supported (file and auto). * Retrieve zone data from primaries, i.e., act as a secondary server (AXFR only) (secondary). * Sign zone data on-the-fly (dnssec). * Load balancing of responses (loadbalance). * Allow for zone transfers, i.e., act as a primary server (file + transfer). * Automatically load zone files from disk (auto). * Caching of DNS responses (cache). * Use etcd as a backend (replacing SkyDNS) (etcd). * Use k8s (kubernetes) as a backend (kubernetes). * Serve as a proxy to forward queries to some other (recursive) nameserver (forward). * Provide metrics (by using Prometheus) (prometheus). * Provide query (log) and error (errors) logging. * Integrate with cloud providers (route53). * Support the CH class: version.bind and friends (chaos). * Support the RFC 5001 DNS name server identifier (NSID) option (nsid). * Profiling support (pprof). * Rewrite queries (qtype, qclass and qname) (rewrite and template). * Block ANY queries (any). * Provide DNS64 IPv6 Translation (dns64). * And more. Each of the plugins is documented. See coredns.io/plugins for all in-tree plugins, and coredns.io/explugins for all out-of-tree plugins. -- Best Regards, signature.asc Description: PGP signature
Re: debian-faq in NEW - or: remove documentation from the archive at all
Hi, On Sun, Apr 03, 2022 at 01:18:37PM +0200, Holger Wansing wrote: Hi all, debian-faq is waiting in NEW queue for more than 4 months now (upload is from 23.11.2021), with no visible activity from ftp-masters (and even with no message at all!). I pinged ftp-masters at the end of January, but got no reaction at all. If the mail list does not reply you, I think you can try it in IRC #debian-ftp from oftc. BR, Bo Again my question, if there is something wrong with this upload or this package??? There have been countless NEW processings since then, but this (in my opinion) uncritical documentation-only package is still waiting. Any comments on this? If documentation is that unimportant, we could save a long of work and time, if we remove all documentation packages from the archive and the website!!! Holger (being extremly sad about all this) Holger Wansing wrote (Sat, 29 Jan 2022 20:36:19 +0100): [Uploader in CC] Hi all, I would like to see the 11.0 version of debian-faq accepted to unstable. Are there any issues with this one? Being this purely a documentation-only package, I had naively thought, it's an easy case for going through NEW, but I might be wrong here? Thanks for all your work Holger -- Holger Wansing PGP-Fingerprint: 496A C6E8 1442 4B34 8508 3529 59F1 87CA 156E B076
