The following packages were found for maintainer: pouya@san-serriffe.org
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