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.