gnat-13-sparc64-linux-gnu
GNU Ada compiler for the sparc64-linux-gnu architecture
GNAT is a compiler for the Ada programming language. It produces optimized
code on platforms supported by the GNU Compiler Collection (GCC).
gnat-13-powerpc-linux-gnu
GNU Ada compiler for the powerpc-linux-gnu architecture
GNAT is a compiler for the Ada programming language. It produces optimized
code on platforms supported by the GNU Compiler Collection (GCC).
gnat-13-m68k-linux-gnu
GNU Ada compiler for the m68k-linux-gnu architecture
GNAT is a compiler for the Ada programming language. It produces optimized
code on platforms supported by the GNU Compiler Collection (GCC).
linux-support-6.12.11
Support files for Linux 6.12
This package provides support files for the Linux kernel build, e.g.
scripts to handle ABI information and for generation of build system meta
data.
libmbtserver2
Server extensions for Timbl - runtime
MbtServer extends Mbt with a server layer, running as a TCP server. Mbt is a
memory-based tagger-generator and tagger for natural language processing.
MbtServer provides the possibility to access a trained tagger from multiple
sessions. It also allows one to run and access different taggers in parallel.
drat-trim-examples
DART-trim satisfiability proof checker (example files)
DRAT-trim is a satisfiability proof checking and trimming utility
designed to validate proofs for all known satisfiability solving
and preprocessing techniques. DRAT-trim can also emit trimmed
formulas, optimized proofs, and TraceCheck+ dependency graphs.