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

runtimeverificationinc/ocaml repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

Size

548.1 MB

Last updated

about 7 years ago

docker pull runtimeverificationinc/ocaml:ubuntu-bionic