This is a staging site. Uploads will not persist. Testing only.

gcc-13-arm-linux-gnueabihf-base

GCC, the GNU Compiler Collection (base package)

This package contains files common to all languages and libraries contained in the GNU Compiler Collection (GCC).

gobjc-arc-linux-gnu

GNU Objective-C compiler for the arc architecture

This is the GNU Objective-C compiler, which compiles Objective-C on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

php-symfony-esendex-notifier

Symfony Esendex Notifier Bridge

The Symfony Esendex Notifier Bridge provides Esendex integration for Symfony Notifier.

libcoq-core-ocaml

runtime libraries for Coq

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

libgnat-11-mips64-cross

runtime for applications compiled with GNAT (shared library)

GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).

wesnoth-1.18-tsg

"The South Guard" official campaign for Wesnoth (branch 1.18)

This package contains the "The South Guard" campaign for Wesnoth: "A young Knight, Deoran, is dispatched to take command of the South Guard... Note: This campaign is designed as an introduction to Wesnoth. The 'Civilian' difficulty level is aimed at first-time players." (Novice level, 9 scenarios.)