gobjc++-13-for-build
GNU Objective-C++ compiler for the build architecture
This is the GNU Objective-C++ compiler for the build architecture,
which compiles Objective-C++ on platforms supported by the gcc compiler.
It uses the gcc backend to generate optimized code.
onedriver
native Linux filesystem for Microsoft OneDrive
This is a native Linux filesystem for Microsoft Onedrive Onedriver is a native
Linux filesystem for Microsoft Onedrive. Files and metadata are downloaded
on-demand instead of requiring you to sync your entire account to disk.
libcoq-mathcomp-multinomials
Multivariate polynomials for Mathematical Components
This package provides an extension to Mathematical Components
for monomial algebra, multivariate polynomials over ring
structures and an extended theory for polynomials whose
coefficients live in abelian rings and integral domains.
python3-pyu2f
pure Python 3 U2F host library
pyu2f is a Python based U2F host library for Linux, Windows, and MacOS. It
provides functionality for interacting with a U2F device over USB.