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)