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

ubuntu-jammy-jb-test-llvm-without-lock

Published 4 days ago · Digest
sha256:0e99f87eae5caa4ddee1124b1c4fab38f5d4a931ba8c146b09c7176c7e736fae

2 Version downloads
ubuntu-jammy-fix-library-deployment

Published about 1 month ago · Digest
sha256:095a3f2f358226c069990f4bb8910144b67dc1165fb9356d226d6e7088232694

1 Version downloads
ubuntu-jammy-publish-branch-to-docker

Published about 1 month ago · Digest
sha256:0f24a82191b7f1df4742839b26a222ab00ba41728ad2d9dbdb0e8e6725fe9108

2 Version downloads

View all tagged versions

Loading

Details

runtimeverification
kontrol
BSD 3-Clause "New" or "Revised" License
61 stars

Last published

4 days ago

Issues

172

Total downloads

5

Contributors 25

+ 10 contributors

Open an issue