Warning: file_exists(): open_basedir restriction in effect. File(/srv/http/vhosts/aur.archlinux.org/public/web/locale//en/LC_MESSAGES/aurweb.mo) is not within the allowed path(s): (/srv/http/vhosts/aur-dev.archlinux.org/:/etc/aurweb/) in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/streams.php on line 90
AUR (en) - jpf-core-hg

Notice: Undefined variable: name in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/pkgfuncs.inc.php on line 248

Package Details: jpf-core-hg r29.820b89dd6c97-1

Git Clone URL: https://aur-dev.archlinux.org/jpf-core-hg.git (read-only)
Package Base: jpf-core-hg
Description: JPF is an explicit state software model checker for Java bytecode
Upstream URL: http://babelfish.arc.nasa.gov/trac/jpf
Licenses: Apache
Provides: jpf
Submitter: lostkhaos
Maintainer: lostkhaos
Last Packager: lostkhaos
Votes: 0
Popularity: 0.000000
First Submitted: 2016-01-14 01:14
Last Updated: 2016-01-14 01:16