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.
u-boot-efi-dtb
copy DTBs to the EFI System Partition from the linux-image-* packages
This package automatically create and keep up-to-date a dtb/ directory on the
EFI System Partition (ESP) using the device tree blobs (DTBs) from the
installed linux-image packages. When U-Boot is running in UEFI mode, it can
then load the appropriate DTB for the board during the distroboot process.
This ensures that the DTB passed to the kernel is kept up-to-date, even when
using an older U-Boot versions.
chewing-tools
intelligent phonetic input method library (tools)
libchewing is an intelligent phonetic input method library for Chinese.
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.
libjodycode3t64
shared lib for programs written by Jody Bruchon (runtime)
libjodycode is a software code library containing code shared among several
of the programs written by Jody Bruchon such as imagepile, jdupes, winregfs,
and zeromerge. These shared pieces of code were copied between each program
as they were updated. As the number of programs increased and keeping these
pieces of code synced became more annoying, the decision was made to combine
all of them into a single reusable shared library.