/fstar-docker

Docker build files for fstar opam dev repo (based on alpine:latest)

Primary LanguageDockerfileMIT LicenseMIT

No issues in this repository yet.