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.

Freeciv is a free clone of the turn based strategy game Civilization. In this game, each player becomes leader of a civilisation, fighting to obtain the ultimate goal: the extinction of all other civilisations.

This package provides an editor service for advanced integrated development environment (IDE) in the OCaml language both for the vim and emacs editors.

This package provides an extension for work with classical logic within the Coq proof-assistant using the Mathematical Components library.

The Debian Edu Artwork package set provides a collection of images, themes, wallpapers and splash screens for use with Debian Edu, a Debian Pure Blend.

This plugins aims to simplify the process of refactoring and distributing types. In particular, this plugin provides an extendable DSL similar to the one used by mypy's own tests.