libwacom2

Wacom model feature query library

libwacom is a library to identify wacom tablets and their model-specific features. It provides easy access to information such as "is this a built-in on-screen tablet", "what is the size of this model", etc.

libcoq-elpi

Coq plugin embedding Elpi

This package makes it possible to define new commands and tactics for Coq in Elpi.

gm2-mipsel-linux-gnu

GNU Modula-2 compiler (based on GCC) for the mipsel architecture

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

gm2-x86-64-linux-gnux32

GNU Modula-2 compiler (based on GCC) for the x32 architecture

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

python-mini-buildd

minimal build daemon - python library and user tool

Mini-buildd is an easy-to-configure autobuilder and repository for deb packages.

gnome-shell-extension-mediaplayer

GNOME Shell extension to control media players

This GNOME Shell extension monitors D-Bus for media players that implement the MPRIS v2.1 specification, and displays an indicator in the Shell's system menu which shows current song and can be used to control playback. Suitable media players include Rhythmbox, Banshee and Clementine.