libcoq-unicoq
enhanced unification algorithm for Coq
This package provides a new unification algorithm,
replacing the existing one through a plugin.
gobjc++-12-powerpc64-linux-gnu
GNU Objective-C++ compiler
This is the GNU Objective-C++ compiler, which compiles
Objective-C++ on platforms supported by the gcc compiler. It uses the
gcc backend to generate optimized code.
adr-tools
tools for working with a log of Architecture Decision Records
Architecture Decision Records or ADRs for short encode architectural
decisions through the lifetime of a project. They are meant to help future
maintainers to understand how the project came do be the way it is. ADRs can
help understand past decisions, supersede them with new decisions and list
currently effective decisions.
qt6-quick3dphysics-examples
Qt 6 Quick 3D physics examples
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
gobjc++-12-powerpc-linux-gnu
GNU Objective-C++ compiler
This is the GNU Objective-C++ compiler, which compiles
Objective-C++ on platforms supported by the gcc compiler. It uses the
gcc backend to generate optimized code.
php-symfony-orange-sms-notifier
Symfony Orange Sms Notifier Bridge
The Symfony Orange Sms Notifier Bridge provides Orange Sms integration
for Symfony Notifier.