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.