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.