cilly
Support programs for ocaml-cil
Install
- All systems
-
curl cmd.cat/cilly.sh
- Fedora
-
dnf install ocaml-cil-cilly - Dockerfile
- dockerfile.run/cilly
Support programs for ocaml-cil
curl cmd.cat/cilly.shdnf install ocaml-cil-cilly