libsop-java-picocli-java
Stateless OpenPGP Protocol API and CLI for Java - picocli wrapper
The Stateless OpenPGP Protocol specification defines a generic stateless
CLI for dealing with OpenPGP messages. Its goal is to provide a minimal,
yet powerful API for the most common OpenPGP related operations.
rime-data-ipa-yunlong
Rime Input Method Engine schema data - IPA Yunlong
RIME is the acronym of Rime Input Method Engine.
gfortran-14-multilib-mips-linux-gnu
GNU Fortran compiler (multilib support) (cross compiler for mips architecture)
This is the GNU Fortran compiler, which compiles Fortran on platforms
supported by the gcc compiler.
gfortran-14-mipsisa64r6-linux-gnuabi64
GNU Fortran compiler for the mipsisa64r6-linux-gnuabi64 architecture
This is the GNU Fortran compiler for the mipsisa64r6-linux-gnuabi64 architecture,
which compiles Fortran on platforms supported by the gcc compiler.
It uses the gcc backend to generate optimized code.
python3-laszip
Python bindings for LASzip (Python 3 module)
This module provides LASzip bindings in Python, primarily intended for use
with laspy. LASzip is a specialized compression for the ASPRS LAS file format
to store data from LiDAR sensors much more efficiently.
libcoq-mathcomp-abel
Abel-Galois and Abel-Ruffini theorems for Mathematical Components
This package provides proofs of the Abel-Galois (solvability by
radicals and solvability of the Galois group) and of the Abel-Ruffini
theorem (general unsolvability of the quintic equations) using the
Mathematical Components library.