diff options
| author | Baptiste Lartigau | 2018-05-04 14:34:59 +0200 |
|---|---|---|
| committer | Baptiste Lartigau | 2018-05-04 14:39:42 +0200 |
| commit | 0aa3a29ee56cc138ad4262b236bd1fe8bef1bf8d (patch) | |
| tree | ead890863b63dc20e8b4f380f7a0199a67fc2169 /.SRCINFO | |
| download | aur-jpf-core-bin.tar.gz | |
Initial commit
This package aims to provide a way to install jpf
from the binary snapshots hosted on the project's website.
Due to a few deprecations in recent versions of Java 8,
building the sources have become impossible on some Linux setups,
and this package has been created to get around this issue.
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..b3d23dad7583 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,19 @@ +pkgbase = jpf-core-bin + pkgdesc = An extensible software model checking framework for Java bytecode programs + pkgver = r32 + pkgrel = 1 + url = https://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-core + arch = any + license = APACHE + depends = java-environment-openjdk>=8 + provides = jpf-core + conflicts = jpf-core + source = https://babelfish.arc.nasa.gov/trac/jpf/raw-attachment/wiki/projects/jpf-core/jpf-core-r32.zip + source = jpf + source = jpf.properties + md5sums = a9a3cff397180a533a93fd434241a225 + md5sums = 85a27d09ee9ec6137d5f7c43180c87e0 + md5sums = 31708844142d0b48a3227b113db0cb0f + +pkgname = jpf-core-bin + |