cvc3-el
Emacs mode for CVC3
CVC3 is an automatic theorem prover for Satisfiability Modulo Theories
(SMT) problems. It can be used to prove the validity (or, dually, the
satisfiability) of first-order formulas in a large number of built-in
logical theories and their combination.
libgnatvsn6-ppc64el-cross
GNU Ada compiler selected components (shared library)
GNAT is a compiler for the Ada programming language. It produces optimized
code on platforms supported by the GNU Compiler Collection (GCC).
libgo9-armel-cross
Runtime library for GNU Go applications
Library needed for GNU Go applications linked against the
shared library.
gcc-8-plugin-dev-x86-64-linux-gnux32
Files for GNU GCC plugin development.
postgresql-15-pgextwlist
PostgreSQL Extension Whitelisting
This extension implements extension whitelisting, and will actively prevent
users from installing extensions not in the provided list. Also, this
extension implements a form of sudo facility in that the whitelisted
extensions will get installed as if superuser. Privileges are dropped before
handing the control back to the user.
python3-cirpy
CIRpy is a Python interface for the
CIRpy is a Python interface for the Chemical Identifier
Resolver web service that is provided by the CADD Group
at the NCI/NIH.