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