The following packages were found for maintainer:
wip/prover9 [CURRENT] Prover9 is an automated theorem prover
wip/jabref [CURRENT] JabRef is an advanced reference manager uses the BibTeX format
wip/radiotray [CURRENT] Internet radio player with a minimal GUI
wip/paraview [CURRENT] ParaView is a data analysis and scientific visualization application
wip/surf1 [CURRENT] Surf is a fast and minimalistic web browser based on WebKit/GTK+