This is a staging site. Uploads will not persist. Testing only.
View media information from the Caja file properties tab

caja-mediainfo

View media information from the Caja file properties tab

Caja is the official file manager for the MATE desktop. It allows one to browse directories, preview files and launch applications associated with them. It is also responsible for handling the icons on the MATE desktop. It works on local and remote filesystems.
Allow unprivileged apps to bind to a privileged port

privbind

Allow unprivileged apps to bind to a privileged port

Privbind is a utility that allows running non-root applications, only giving them one root privilege - binding to low (<1024) ports. The aim is similar, though using a completely different method, to "authbind".
ToDo List manager

qtodo

ToDo List manager

transitional dummy package

m-tx

transitional dummy package

This is a transitional package for m-tx to ensure proper upgrade to texlive-music. It can be safely removed after the installation is complete.
lightweight SIP conferencing service

reconserver

lightweight SIP conferencing service

reConServer is the SIP conferencing server developed by the reSIProcate community. It provides a lightweight, easy to configure way to run multi-user SIP conferences. It supports audio but not video or text.
proof-tree visualization for Proof General

prooftree

proof-tree visualization for Proof General

Prooftree draws proof trees during interactive proof development with Proof General. One can inspect goals and proof commands and check where existential variables were introduced and instantiated. Currently, Prooftree does only work for Coq.