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.