libcoq-unicoq
enhanced unification algorithm for Coq
librte-baseband-fpga-lte-fec22
Data Plane Development Kit (librte-baseband-fpga-lte-fec runtime library)
zarchive-tools
tool for creating and reading zstd-compressed files
libcoq-reduction-effects
reduction effects for Coq
python3-django-polymodels
Polymorphic models implementation for django
postgresql-14-first-last-agg
PostgreSQL extension providing first and last aggregate functions
ikos
Static analyzer for C/C++
libcoq-mtac2
Mtac2 tactic language for Coq
libqt6protobufqtguitypes6
Qt 6 procotol buffers Qt GUI types library
libikos
Static analyzer for C/C++ - static libraries
libhtml-query-perl
HTML::Tree add-on to allow jQuery-like queries on HTML::Element trees
qml6-module-qtquick-dialogs
Qt 6 Quick Dialogs QML module
google-android-sources-27-installer
Google's 'Sources for Android 27' Installer
qml6-module-qtqml-models
Qt 6 QtQml Models QML module
qml6-module-qtqml
Qt 6 QtQml QML module
libqalculate22
Powerful and easy to use desktop calculator - library
gir1.2-hinawa-4.0
GObjet introspection data for libhinawa4t64
postgresql-14-pllua
Lua procedural language for PostgreSQL 14
librte-baseband-null22
Data Plane Development Kit (librte-baseband-null runtime library)
libnats3.4
C client for the NATS messaging system
python3-bme280
Python interface for a Bosch BME280 digital sensor module
postgresql-14-prioritize
Get and set the nice priorities of PostgreSQL backends
r-cran-kernelheaping
GNU R kernel density estimation for heaped and rounded data
librte-baseband-turbo-sw22
Data Plane Development Kit (librte-baseband-turbo-sw runtime library)