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.

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.

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.

mle is a small, flexible, terminal-based text editor written in C. Notable features include: full Unicode support, syntax highlighting, scriptable rc file, macros, search and replace (PCRE), window splitting, multiple cursors, and integration with various shell commands.