BSD Ports[email protected] 3 ports
| Port | System | Version | Comment |
|---|---|---|---|
| wip/jabref | NetBSD | 2.11.1 | wip/jabref 2.11.1: JabRef is an advanced reference manager uses the BibTeX format. NetBSD port maintained by [email protected]. |
| wip/prover9 | NetBSD | 11A | wip/prover9 11A: Prover9 is an automated theorem prover. NetBSD port maintained by [email protected]. |
| wip/surf1 | NetBSD | 0.7 | wip/surf1 0.7: Surf is a fast and minimalistic web browser based on WebKit/GTK+. NetBSD port maintained by [email protected]. |