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

Tags for runtimeverificationinc/kframework

Sort by

TAG

ubuntu-bionic

Last pushed about 7 years by rvdockerhub

docker pull runtimeverificationinc/kframework:ubuntu-bionic
DigestOS/ARCHCompressed size

65502b8e0b47

linux/amd64

770.23 MB

TAG

debian-buster

Last pushed about 7 years by rvdockerhub

docker pull runtimeverificationinc/kframework:debian-buster
DigestOS/ARCHCompressed size

fcd6d2d21c88

linux/amd64

912.68 MB