Sign inSign up

runtimeverificationinc/ocaml

By runtimeverificationinc

•Updated almost 7 years ago

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

Image
0

562

Tags for runtimeverificationinc/ocaml

Sort by

TAG

ubuntu-bionic

Last pushed almost 7 years by rvdockerhub

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

cdb6dc072777

linux/amd64

548.12 MB