libcoq-flocq

Floating-point arithmetic for Coq

Flocq provides a formalization of floating-point arithmetic for Coq, in the form of a comprehensive library of theorems on a multi-radix multi-precision arithmetic, with efficient numerical computations.

libcpansa-db-perl

CPAN Security Advisory data as a Perl data structure, mostly for CPAN::Audit

CPANSA::DB is the database that CPAN::Audit uses to do its work. The module was previously known as CPAN::Audit::DB but moved to its own repo and distribution so you can update the database separately.

qmake6-bin

Qt 6 qmake Makefile generator tool — binary file

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

qt6-base-dev-tools

Qt 6 base development programs

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

ntfs2btrfs

converts NTFS filesystem to BTRFS

This is a tool which does in-place conversion of Microsoft's NTFS filesystem to the open-source filesystem Btrfs, much as btrfs-convert does for ext2. The original image is saved as a reflink copy at image/ntfs.img, and if you want to keep the conversion you can delete this to free up space.

libqbscore1.23

Qbs core library

Qbs is a general purpose cross-platform build tool that aims at fast and correct incremental builds. It features a project description language that is similar to QML.