Sign inSign up

projecteverest/fstar-linux

By projecteverest

•Updated over 5 years ago

DEPRECATED. Please use official Docker images from https://hub.docker.com/u/fstarlang instead.

Image
0

10K+

projecteverest/fstar-linux repository overview

DEPRECATED. Please use official Docker images from https://hub.docker.com/u/fstarlang⁠ instead.

Tag summary

Content type

Image

Digest

Size

5.3 GB

Last updated

over 5 years ago

docker pull projecteverest/fstar-linux:197d6dd7ecce