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.