This is a staging site. Uploads will not persist. Testing only.
postgresql-16-orafce
Oracle support functions for PostgreSQL 16
This project implements some functions for compatibility with Oracle.
The functionality was verified on Oracle 10g, and the module is
useful for production work.
libyara8
YARA shared library
YARA is a tool aimed at helping malware researchers to identify and
classify malware samples. With YARA, it is possible to create
descriptions of malware families based on textual or binary patterns
contained in samples of those families. Each description consists of
a set of strings and a Boolean expression which determines its logic.
python3-fpdf
Simple & fast PDF generation for Python
a library for PDF document generation under Python, ported from PHP.
libcvc5parser1
automated theorem prover for SMT problems (parser runtime)
cvc5 is a tool for determining the satisfiability of a first order formula
modulo a first order theory (or a combination of such theories). It is the
fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite,
CVC3, CVC4) but does not directly incorporate code from any previous version
prior to CVC4.
libgphobos5-mipsr6el-cross
Phobos D standard library (runtime library)
This is the Phobos standard library that comes with the D2 compiler.
libswiften0
XMPP library
Swiften is a robust, high-quality, standards-compliant, cross-platform,
and performant C++ library for implementing XMPP applications. Swiften
is used as the back-end library for the Swift Instant Messaging client.