The following packages were found for maintainer:
Restricting search to CURRENT branch. (Show all branches)

wip/prover9 Prover9 is an automated theorem prover
wip/jabref JabRef is an advanced reference manager uses the BibTeX format
wip/radiotray Internet radio player with a minimal GUI
wip/paraview ParaView is a data analysis and scientific visualization application