gcj-6-source
GCJ java sources for use in IDEs like eclipse and netbeans
These are the java source files packaged as a zip file for use in development
environments like eclipse and netbeans.
ruby-azure
Official ruby client library to consume Microsoft Azure services
This project provides a Ruby package for Azure Service Management, which makes
it easy to access and manage Microsoft Azure Services like Storage, Service Bus
and Virtual Machines
gcc-6-s390x-linux-gnu-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).
fastjet-examples
Example source files of FastJet
The FastJet package provides a fast implementation of several longitudinally
invariant sequential recombination jet algorithms, in particular the
longitudinally invariant kt jet algorithm, the inclusive longitudinally
invariant version of the Cambridge/Aachen jet-algorithm, and the inclusive
anti-kt algorithm.
mate-core
MATE Desktop Environment (essential components, dummy package)
The MATE Desktop Environment is the continuation of GNOME 2. It provides an
intuitive and attractive desktop environment using traditional metaphors for
Linux and other Unix-like operating systems.
why3-examples
Examples for the why3 verification platform
This package contains examples, both of program verification tasks
and pure logical verification tasks, for the why3 software verification
platform.