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
Re: [Summary]: Another take on package relationship substvars
tho...@goirand.fr: [...] Hi Niels, Thanks a lot for your work on this, I very much agreed with the premiss that subst vars were a thing easy to fall into traps. It is a very welcomed improvement to automate them and avoid mistakes. Is there a place where you wrote some kind of doc about how to use debputy or debhelper compat 14? Does one need to add debputy as build-depends, and that is it? Pointers to URLs welcome. Cheers, Thomas Goirand (zigo) Hi Thomas Thanks for the feedback. :) I have added the information you requested below. For follow ups on how to migrate or `debputy` vs. `debhelper`, then I am happy to have discussions on those. However, please move it to a separate thread/channel/subject to ensure people can easily tell whether the discussion is relevant to them. :) # For debhelper: Usage of debhelper compat 14 can be done by replacing the Build-Depends on `debhelper-compat (= 13)` with `debhelper (>= 13.15.2~)` and then adding `X-DH-Compat: 14` to the source stanza of `debian/control`. Remember to check the compat upgrade checklist in `man 7 debhelper-compat-upgrade-checklist` before doing it and keep in mind that compat 14 is open for additional changes. # For debputy: On what debputy is, I would recommend the ITP bug: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1029645 On how to use it at its minimum level (sufficient for getting automatic relationship substvars), the short story is: # Note: 0.1.22 is not a typo; it was uploaded to unstable earlier # today. It provides better documentation related to migration # plus some other unrelated bugfixes. $ apt satisfy 'dh-debputy (>= 0.1.22)` $ debputy migrate-from-dh \ --migration-target dh-sequence-zz-debputy-rrr [--apply-changes] [... Read the output and handle any manual migration items ...] The vast majority of packages should be able to use `debputy` at this level - some with more manual migration than others. The `dh-sequence-zz-debputy` migration target (note the missing `-rrr`) is more likely to have missing features that would be necessary for wide-spread adoption. For additional information, you may want to read: * man debputy . Particularly the section on `migrate-from-dh` and `INTEGRATION LEVELS` * GETTING-STARTED-WITH-dh-debputy.md (/usr/share/doc/dh-debputy) * MANIFEST-FORMAT.md (/usr/share/doc/dh-debputy) Though, either way (debhelper or `debputy`), you will be on fairly cutting edge features. :) Best regards, Niels
Bug#1067864: ITP: golang-github-allan-simon-go-singleinstance -- Make sure you have only one instance of a software in Go (library)
Package: wnpp Severity: wishlist Owner: Maytham Alsudany X-Debbugs-CC: debian-devel@lists.debian.org, debian...@lists.debian.org * Package name: golang-github-allan-simon-go-singleinstance Version : 1.0.0 Upstream Contact: Allan Simon * URL : https://github.com/allan-simon/go-singleinstance * License : Expat Programming Lang: Go Description : Make sure you have only one instance of a software in Go (library) Cross plateform library to have only one instance of a software (based on python's tendo). Dependency of nwg-bar. This package will be maintained within the Debian Go Packaging Team. I will need a DD to sponsor and upload this package. -- Kind regards, Maytham Alsudany signature.asc Description: This is a digitally signed message part
Bug#1067865: ITP: nwg-bar -- GTK3-based button bar for wlroots-based compositors
Package: wnpp Severity: wishlist Owner: Maytham Alsudany X-Debbugs-CC: debian-devel@lists.debian.org, debian...@lists.debian.org Control: block -1 by 1067864 * Package name: nwg-bar Version : 0.1.6 Upstream Contact: https://github.com/nwg-piotr/nwg-bar/issues * URL : https://github.com/nwg-piotr/nwg-bar * License : Expat Programming Lang: Go Description : GTK3-based button bar for wlroots-based compositors nwg-bar is a GTK3-based button bar for wlroots-based compositors like sway, based on a user-defined JSON template and fully customizable using CSS. . The nwg-bar command creates a button bar on the basis of a JSON template placed in the ~/.config/nwg-bar/ folder. By default the command displays a horizontal bar in the center of the screen. Use command line arguments to change the placement. . This application is a part of the nwg-shell project. This package will be maintained within the Debian Go Packaging Team. I will need a DD to sponsor and upload this package. -- Kind regards, Maytham Alsudany signature.asc Description: This is a digitally signed message part
Bug#1067866: ITP: golang-github-dlasky-gotk3-layershell -- gotk3 addon module that provides gtk_layer_shell compatibiility (library)
Package: wnpp Severity: wishlist Owner: Maytham Alsudany X-Debbugs-CC: debian-devel@lists.debian.org, debian...@lists.debian.org * Package name: golang-github-dlasky-gotk3-layershell Version : 0.0~git20230801.b0c42cd Upstream Contact: https://github.com/dlasky/gotk3-layershell/issues * URL : https://github.com/dlasky/gotk3-layershell * License : Expat Programming Lang: Go Description : gotk3 addon module that provides gtk_layer_shell compatibiility (library) gotk3-layershell is a simple golang library to provide bindings for the excellent Gtk Layer Shell library which can be consumed in the also excellent gotk3 Gtk library. This allows for GTK windows in Linux window managers like swaywm that utilize the Layer Shell protocol in wayland to be positioned relative to the viewport including pinning and layer depth control. Dependency of nwg-bar. This package will be maintained within the Debian Go Packaging Team. I will need a DD to sponsor and upload this package. -- Kind regards, Maytham Alsudany signature.asc Description: This is a digitally signed message part
Bug#1067867: ITP: golang-github-joshuarubin-go-sway -- Sway client for Go (library)
Package: wnpp Severity: wishlist Owner: Maytham Alsudany X-Debbugs-CC: debian-devel@lists.debian.org, debian...@lists.debian.org Control: block 1067865 by -1 * Package name: golang-github-joshuarubin-go-sway Version : 1.2.0 Upstream Contact: https://github.com/joshuarubin/go-sway/issues * URL : https://github.com/joshuarubin/go-sway * License : Expat Programming Lang: Go Description : Sway client for Go (library) This package simplifies working with the sway IPC from Go. It was highly influenced by https://github.com/i3/go-i3. . While the i3 and sway IPCs share much in common, they are not identical. This package provides the complete sway api. Dependency of nwg-bar. This package will be maintained within the Debian Go Packaging Team. I will need a DD to sponsor and upload this package. -- Kind regards, Maytham Alsudany signature.asc Description: This is a digitally signed message part
Bug#1067868: ITP: golang-github-joshuarubin-go-sway -- Sway client for Go (library)
Package: wnpp Severity: wishlist Owner: Maytham Alsudany X-Debbugs-CC: debian-devel@lists.debian.org, debian...@lists.debian.org Control: block 1067865 by -1 * Package name: golang-github-joshuarubin-go-sway Version : 1.2.0 Upstream Contact: https://github.com/joshuarubin/go-sway/issues * URL : https://github.com/joshuarubin/go-sway * License : Expat Programming Lang: Go Description : Sway client for Go (library) This package simplifies working with the sway IPC from Go. It was highly influenced by https://github.com/i3/go-i3. . While the i3 and sway IPCs share much in common, they are not identical. This package provides the complete sway api. Dependency of nwg-bar. This package will be maintained within the Debian Go Packaging Team. I will need a DD to sponsor and upload this package. -- Kind regards, Maytham Alsudany signature.asc Description: This is a digitally signed message part
Bug#1067869: ITP: golang-github-joshuarubin-lifecycle -- manage goroutines in golang applications (library)
Package: wnpp Severity: wishlist Owner: Maytham Alsudany X-Debbugs-CC: debian-devel@lists.debian.org, debian...@lists.debian.org Control: block 1067867 by -1 * Package name: golang-github-joshuarubin-lifecycle Version : 1.1.4 Upstream Contact: https://github.com/joshuarubin/lifecycle/issues * URL : https://github.com/joshuarubin/lifecycle * License : Expat Programming Lang: Go Description : manage goroutines in golang applications (library) lifecycle helps manage goroutines at the application level. context.Context has been great for propagating cancellation signals, but not for getting any feedback about when goroutines actually finish. This package works with context.Context to ensure that applications don't quit before their goroutines do. . The semantics work similarly to the go (lifecycle.Go) and defer (lifecycle.Defer) keywords as well as sync.WaitGroup.Wait (lifecycle.Wait). Additionally, there are lifecycle.GoErr and lifecycle.DeferErr which only differ in that they take funcs that return errors. . lifecycle.Wait will block until one of the following happens: - all funcs registered with Go complete successfully then all funcs registered with Defer complete successfully - a func registered with Go returns an error, immediately canceling ctx and triggering Defer funcs to run. Once all Go and Defer funcs complete, Wait will return the error - a signal (by default SIGINT and SIGTERM, but configurable with WithSignals) is received, immediately canceling ctx and triggering Defer funcs to run. Once all Go and Defer funcs complete, Wait will return ErrSignal - a func registered with Go or Defer panics. the panic will be propagated to the goroutine that Wait runs in. there is no attempt, in case of a panic, to manage the state within the lifecycle package. Dependency of golang-github-joshuarubin-go-sway. This package will be maintained within the Debian Go Packaging Team. I will need a DD to sponsor and upload this package. -- Kind regards, Maytham Alsudany signature.asc Description: This is a digitally signed message part
Bug#1067871: ITP: python-memray -- Memory profiler for Python applications
Package: wnpp Severity: wishlist Owner: Yogeswaran Umasankar X-Debbugs-Cc: debian-devel@lists.debian.org, kd8...@gmail.com * Package name: python-memray Version : 1.11.0 Upstream Contact: Bloomberg LP * URL : https://github.com/bloomberg/memray * License : Apache-2.0 Programming Lang: Python Description : Memory profiler for Python applications Memray is a memory profiler for Python. It can track memory allocations in Python code, in native extension modules, and in the Python interpreter itself. It can generate several different types of reports to help you analyze the captured memory usage data. While commonly used as a CLI tool, it can also be used as a library to perform more fine-grained profiling tasks. Planned to maintain under DPT, need a sponsor.
