Sign inSign up

runtimeverificationinc/ocaml

By runtimeverificationinc

•Updated about 7 years ago

Contains the ocaml dependencies for https://github.com/kframework/k

Image
0

1.5K

Tags for runtimeverificationinc/ocaml

Sort by

TAG

ubuntu-bionic

Last pushed about 7 years by rvdockerhub

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

cdb6dc072777

linux/amd64

548.12 MB