libgnome-desktop-4-2t64
Utility library for the GNOME desktop - runtime files
The gnome-desktop set of libraries provides various utility functions
that are used in multiple components of the GNOME desktop, but do not
have a sufficiently stable API to be included in core libraries such
as GLib and GTK.
openjdk-23-jre
OpenJDK Java runtime, using Hotspot JIT
Full Java runtime environment - needed for executing Java GUI and Webstart
programs, using Hotspot Zero.
libcoq-mathcomp-algebra-tactics
Ring and field tactics for Mathematical Components
This package provides the 'ring' and 'field' tactics for
the Mathematical Components library, that work for any instance
of 'comRingType' and 'fieldType' through canonical structure inference.
laurel
Transform Linux Audit logs for SIEM usage
LAUREL is an event post-processing plugin for auditd(8) that
transforms and enriches audit logs to improve their utility for
modern security monitoring setups.
libqjdns-qt5-2t64
Simple DNS queries library - Qt5 wrapper
For Qt5 users there is a wrapper available called QJDns and a very
high-level wrapper called QJDnsShared (under its original name
JDnsShared).
libgmsh4.12
Three-dimensional finite element mesh generator shared library
Gmsh is a 3D finite element grid generator with a build-in CAD engine
and post-processor. Its design goal is to provide a fast, light and
user-friendly meshing tool with parametric input and advanced
visualization capabilities. Gmsh is built around four modules: geometry,
mesh, solver and post-processing. The specification of any input to
these modules is done either interactively using the graphical user
interface or in ASCII text files using Gmsh's own scripting language.