libpsmt2-frontend-ocaml
Parse and type-check SMT-LIB 2 (runtime files)
A library to parse and type-check a conservative extension
of the SMT-LIB 2 standard with prenex polymorphism.
libusbmuxd-2.0-7
Client library to handle usbmux connections with iOS devices (library)
usbmuxd, the USB multiplexor daemon, is in charge of coordinating
access to iPhone and iPod Touch services over USB. Synchronization and
management applications for the iPhone and iPod Touch need this daemon
to communicate with such devices concurrently.
postgresql-14
The World's Most Advanced Open Source Relational Database
PostgreSQL, also known as Postgres, is a free and open-source relational
database management system (RDBMS) emphasizing extensibility and SQL
compliance. It features transactions with Atomicity, Consistency, Isolation,
Durability (ACID) properties, automatically updatable views, materialized
views, triggers, foreign keys, and stored procedures. It is designed to handle
a range of workloads, from single machines to data warehouses or Web services
with many concurrent users.
lib32stdc++-12-dev-sparc64-cross
GNU Standard C++ Library v3 (development files) (sparc64
This package contains the headers and static library files necessary for
building C++ programs which use libstdc++.
lib32go21-x32-cross
Runtime library for GNU Go applications (32bit)
Library needed for GNU Go applications linked against the
shared library.
libkseexpr4
embeddable expression evaluation engine - shared library
SeExpr is an embeddable, arithmetic expression language that enables flexible
artistic control and customization in creating computer graphics images.
Example uses include procedural geometry synthesis, image synthesis,
simulation control, crowd animation, and geometry deformation.