This is a staging site. Uploads will not persist. Testing only.
btrfs-assistant
Qt GUI tool to manage Btrfs filesystems
Btrfs Assistant is a Qt GUI management tool to make managing a Btrfs
filesystem easier. The primary features it offers are:
route-rnd
external autorouter for pcb-rnd
route-rnd is a generic 'external autorouter' developed for the ringdove
suite. It speaks the tEDAx format (http://www.repo.hu/projects/tedax). A
route request tEDAx document is generated by a PCB editor, then route-rnd is
called and writes the route result tEDAx which then can be fed back to the
PCB editor to create the tracks. This process is demonstrated by ringdove's
pcb-rnd external autorouter feature.
gnome-session-xsession
GNOME Session Manager - GNOME on Xorg session
The GNOME Session Manager is in charge of starting the core components
of the GNOME desktop, and applications that should be launched at
login time. It also features a way to save and restore currently
running applications.
librte-mempool-ring22
Data Plane Development Kit (librte-mempool-ring runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.
zarchive-tools
tool for creating and reading zstd-compressed files
ZArchive is yet another file archive format. Think of zip, tar, 7z,
etc. but with the requirement of allowing random-access reads and
supporting Zstandard compression.
libcoq-unicoq
enhanced unification algorithm for Coq
This package provides a new unification algorithm,
replacing the existing one through a plugin.