libace-ssl-7.0.6

ACE secure socket layer library

This package contains wrappers that integrate the OpenSSL library in the ACE framework.

libgnatcoll-postgres2

Ada library accessing PostGreSQL databases (runtime)

The gnatcoll-db library allows Ada programs to send SQL queries to SQLite or PostGreSQL databases.

libgnatcoll-sql4

Ada library accessing SQL databases (runtime)

The gnatcoll-db library allows Ada programs to send SQL queries to SQLite or PostGreSQL databases.

fcitx5-table-rustrad

Flexible Input Method Framework v5 - Rustrad table

Fcitx is a input method framework with extension support, which provides an interface for entering characters of different scripts in applications using a variety of mapping systems.

libace-inet-7.0.6

ACE Inet protocol library

This package provides an ACE addon library for clients (and possibly servers at some point) using Inet protocols, such as HTTP or FTP.

libcoq-bignums

Coq library for big numbers

This package provides big numbers (natural numbers, integers and rationals) in Coq, as BigN, BigZ and BigQ, which used to be part of the standard library.