The following packages where 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
wip/surf1 Surf is a fast and minimalistic web browser based on WebKit/GTK+