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++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.