aisleriot 3.22.2 A collection of patience games written in guile scheme
alsa-lib 1.1.4 The ALSA interface library
alsa-plugins 1.1.4 extra ALSA plugins
alsa-utils 1.1.4 ALSA utilities
android-platform-tools 7.1.2r11 Android platform tools, adb and fastboot
apcupsd 3.14.14 Power mangement and controlling most of APC's UPS models
appstream 0.11.0 Provides a standard for creating app stores across distributions
appstream-glib 0.6.13 Provides GObjects and helper methods to make it easy to read and write AppStream metadata
appstream-qt 0.11.0 Qt bindings for AppStream
aravis 0.5.9 A Genicam compliant vision library with a GStreamer source plugin
ardour 5.9-1 A full-featured, professional grade audio workstation
aria2 1.32.0 Download utility that supports HTTP(S), FTP, BitTorrent, and Metalink
aspell An interactive spell checking program and the Aspell libraries
at-spi2-atk 2.24.1 A library that bridges ATK to At-Spi2 D-Bus service
at-spi2-core 2.24.1 Protocol definitions and daemon for D-Bus at-spi
attica5 5.34.0 Implements the Open Collaboration Services API (Qt 5)
aubio 0.4.2-2 A tool for extracting annotations from audio signals
bam 0.4.0 fast and flexible build system
bcftools 1.4.1 utilities for variant calling and manipulating VCFs and BCFs
bind 9.11.1.P1 Internet Domain Name Server (from ISC)
bluez 5.45-1 The Bluetooth protocol stack for Linux
bridge-utils 1.5-1 utilities for configuring the Linux ethernet bridge
brltty 5.5 Braille display driver for Linux/Unix
btrfs-progs 4.11 Btrfs filesystem utilties
budgie-desktop 10.3.1 A simple, yet elegant desktop
caja 1.18.3 MATE desktop and file manager
caja-extensions 1.18.1 Extensions for the MATE file manager
calibre 2.85.1 E-Book management application
camlp4 4.04+1 Caml preprocessor and pretty-printer
castget 1.2.4 A simple command-line based RSS downloader
cbc 2.9.8 COIN-OR branch-and-cut mixed integer programming solver
ccid 1.4.27 A generic USB Chip/Smart Card Interface Devices driver
cgl 0.59.9 COIN-OR Cut Generation Library
cgmanager 0.37 another daemon for managing control groups
cinepaint 1.0.4-4 Sophisticated graphics manipulation programm supporting > 8bit pictures
cinnamon 3.4.0 A GNOME Shell fork aiming to provide traditional user experience
cinnamon-control-center 3.4.0 Centralized settings manager for Cinnamon
cinnamon-desktop 3.4.0 Library with common API for various Cinnamon modules
cinnamon-menus 3.4.0 Cinnamon menu specifications
cinnamon-screensaver 3.4.0 Screensavers designed to integrate well with the Cinnamon desktop
cinnamon-session 3.4.0 Cinnamon session handler
cinnamon-settings-daemon 3.4.0 The Cinnamon Settings Daemon
cjs 3.4.0 JavaScript bindings for Cinnamon
clementine 1.3.1-4 A modern music player and library organizer
clp 1.16.10 COIN-OR linear programming solver
clutter 1.26.2 A GObject based library for creating fast, visually rich graphical user interfaces
cogl 1.22.2 An object oriented GL/GLES Abstraction/Utility Layer
coinmp 1.8.3 C-API library that supports most of the functionality of CLP (Coin LP), CBC (Coin Branch-and-Cut), and CGL (Cut Generation Library) projects
coinutils 2.10.7-2 COIN-OR collection of utility classes
compiz OpenGL window and compositing manager
cppcheck 1.79 A tool for static C/C++ code analysis
cryptography 1.8.1-1 Exposes cryptographic recipes and primitives to Python developers
curl 7.54.1 An URL retrieval utility and library
dbus-glib 0.108 D-Bus GLib Binding
dhcp 4.3.5 A DHCP server, client and relay agent
dialog 1.3+20170509 A tool to display dialog boxes from shell scripts
dmidecode 3.1 Desktop Management Interface table related utilities
dnscrypt 1.9.5 A tool for securing communications between a client and a DNS resolver
dpkg 1.18.24 The Debian package manager tools and libraries
dropbear 2017.75 Lightweight SSH server and client

DPKG package older than source (staging) or missing

DPKG package up to date

Source (staging) has removed the package