runtimeverificationinc/ocaml

•Updated almost 7 years ago

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

Image

562

runtimeverificationinc/ocaml repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

Size

548.1 MB

Last updated

almost 7 years ago

docker pull runtimeverificationinc/ocaml:ubuntu-bionic