Sign inSign up

runtimeverificationinc/kframework

By runtimeverificationinc

•Updated about 7 years ago

Common base images for projects in https://github.com/kframework

Image
0

2.5K

runtimeverificationinc/kframework repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

Size

770.2 MB

Last updated

about 7 years ago

docker pull runtimeverificationinc/kframework:ubuntu-bionic