postgresql-15-snakeoil

PostgreSQL anti-virus scanner based on ClamAV

pg_snakeoil provides functions scanning PostgreSQL data for viruses using the ClamAV anti-virus engine.

gdc-11-mips64-linux-gnuabi64

GNU D compiler (version 2) (cross compiler for mips64 architecture)

This is the GNU D compiler, which compiles D on platforms supported by gcc. It uses the gcc backend to generate optimised code.

libc++1-15t64

LLVM C++ Standard library

libc++ is another implementation of the C++ standard library.

libc++abi1-15t64

LLVM low level support for a standard C++ library

libc++abi is another implementation of low level support for a standard C++ library.

libcoq-mathcomp-bigenough

epsilon - N reasoning for Mathematical Components

This package provides an extension to reason with big enough objects (mostly natural numbers) for the Mathematical Components library.

libcoq-mathcomp-finmap

finite sets and maps extension for Mathematical Components

This package provides an extension to manage finite sets, finite maps and finitely supported functions extending for the Mathematical Components library.