This is a staging site. Uploads will not persist. Testing only.
lightweight GUI for mediawiki2latex

mediawiki2latexguipyqt

lightweight GUI for mediawiki2latex

This Graphic User Interface allows you to begin using mediawiki2latex most easily. Mediawiki2latex provides the user with a simple way of turning a page hosted on a server running MediaWiki into a high quality PDF output. The GUI runs mediawikitolatex and displays its standard and error outputs in separate graphic tabs, while maintaining a reliable progress bar.
Develop bots for the infon game

infon-devel

Develop bots for the infon game

KDE Neon 5,12,0

overlay-scrollbar-gtk3

GTK 3 module for overlay scrollbars

Concurrent multi-player battle strategy game

xbattle

Concurrent multi-player battle strategy game

Suggest packages to install when inserting new hardware (CLI tool)

isenkram-cli

Suggest packages to install when inserting new hardware (CLI tool)

Command line interface tools to try to figure out which packages to install to use the available hardware devices. This package also contain the data files mapping hardware to packages.
Creates and amends Trac tickets from e-mail

trac-email2trac

Creates and amends Trac tickets from e-mail

email2trac creates tickets for the issue tracking system Trac from e-mail. Is also amends existing tickets, if the subject contains the ticket number.