The following packages were found for maintainer: pouya@san-serriffe.org
wip/jabref [CURRENT] JabRef is an advanced reference manager uses the BibTeX format
wip/prover9 [CURRENT] Prover9 is an automated theorem prover