kontrol/kontrol ubuntu-jammy-jb-test-llvm-without-lock Public Latest
Install from the command line
Learn more about packages
$ docker pull ghcr.io/runtimeverification/kontrol/kontrol:ubuntu-jammy-jb-test-llvm-without-lock
Recent tagged image versions
- 4 Version downloads
- 3 Version downloads
- 5 Version downloads
Loading
Sorry, something went wrong.
Details
-
runtimeverification
- kontrol
- BSD 3-Clause "New" or "Revised" License
- 84 stars
Last published
10 months ago
Issues
188
Total downloads