Search Criteria
Package Details: jpf-core-git jpf.8.0.r67.ge734381-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/jpf-core-git.git (read-only, click to copy) |
---|---|
Package Base: | jpf-core-git |
Description: | Explicit state software model checker for Java bytecode |
Upstream URL: | https://github.com/javapathfinder/jpf-core |
Licenses: | Apache |
Provides: | jpf |
Submitter: | lostkhaos |
Maintainer: | lostkhaos |
Last Packager: | lostkhaos |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2019-03-08 14:16 (UTC) |
Last Updated: | 2019-03-08 14:16 (UTC) |
Dependencies (2)
- java-environment-openjdk (zulu-10-bin, jdk12-openj9-bin, zulu-12-bin, jdk13-openj9-bin, jdk9-openj9-bin, jdk11-openjdk-dcevm, jdk10-openj9-bin, jdk14-openj9-bin, zulu-14-bin, jdk11-openjdk-dcevm-conflicts-fixed, sapmachine-jdk-bin, jdk8-openjdk-shenandoah, zulu-16-bin, jdk16-adoptopenjdk, jdk11-microsoft-openjdk, jdk16-microsoft-openjdk, jdk11-msopenjdk-bin, jdk18-beta-temurin, liberica-jdk-11-bin, liberica-jdk-11-lite-bin, liberica-jre-11-bin, java-openjdk-loom-ea-bin, jdk17-dragonwell-bin, jdk-jetbrains, jdk12-openjdk, jdk15-openjdk, jdk16-openjdk, jdk13-openjdk, jdk14-openjdk, zulu-18-bin, zulu-13-bin, jdk11-openj9-bin, jdk-openj9-bin, zulu-15-bin, jdk-microsoft-openjdk, jdk18-openjdk, jdk17-openj9-bin, jdk8-dragonwell-extended, jdk-android-studio, zulu-8-bin, zulu-11-bin, zulu-17-bin, zulu-19-bin, liberica-jre-8-full-bin, liberica-jdk-full-bin, jdk8-adoptopenjdk, liberica-jdk-11-full-bin, liberica-jdk-17-full-bin, liberica-jre-11-full-bin, jdk8-dragonwell-extended-bin, jdk8-dragonwell-standard-bin, jdk11-dragonwell-extended-bin, jdk11-dragonwell-standard-bin, jdk13-openjdk-bin, liberica-jdk-8-full-bin, jre-jetbrains, jdk17-temurin, jdk11-temurin, jdk17-dragonwell-standard-bin, jdk-openjdk-xdg, jdk-openjdk-xdg-bin, java-openjdk-bin, jdk17-jetbrains-bin, jdk11-jetbrains-bin, zulu-20-bin, jdk-temurin, jdk8-openjdk-xdg, jdk17-openjdk-xdg, java-openjdk-ea-bin, jdk-openjdk, jdk11-openjdk, jdk17-openjdk, jdk8-openjdk)
- gradle (make)