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

wip/jabref JabRef is an advanced reference manager uses the BibTeX format
wip/prover9 Prover9 is an automated theorem prover
wip/radiotray Internet radio player with a minimal GUI
wip/surf1 Surf is a fast and minimalistic web browser based on WebKit/GTK+