This is a staging site. Uploads will not persist. Testing only.
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.
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".
qtodo
ToDo List manager
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.
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.
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.