This is a staging site. Uploads will not persist. Testing only.
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.
libcss-inliner-perl
module for converting HTML CSS <style> blocks to inline styles
libcss-inliner-perl provides the CSS::Inliner Perl module which converts CSS
style blocks into inline styles in an HTML document. Specifically this is
intended to ease generation of HTML emails.
wesnoth-1.18-dm
"Delfador's Memoirs" official campaign for Wesnoth (branch 1.18)
This package contains the "Delfador's Memoirs" campaign for Wesnoth:
"Wesnoth seems to be slipping inexorably into chaos, as marauding orcs pour
south across the Great River, and mysterious and deadly creatures roam the
night. Who is the shadowy Iliah-Malal? Can you defeat him before he destroys
all life in Wesnoth?"
(Intermediate level, 19 scenarios.)
php-symfony-orange-sms-notifier
Symfony Orange Sms Notifier Bridge
The Symfony Orange Sms Notifier Bridge provides Orange Sms integration
for Symfony Notifier.
xen-utils-4.17
Xen administrative tools
The userspace tools to manage a system virtualized through the Xen virtual
machine monitor.