Currently, we do not have binary snapshots. We hope to provide them again soon.
We recommend putting all JPF modules under a single parent directory that holds the site.properties file:
jpf/
site.properties
jpf-core/
jpf-symbc/
…
Many JPF modules are still fast moving, so we recommend using the source repositories to stay up-to-date. Our policy is to only push changes to this server which pass all regression tests
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4