professormahi/frama-c

•Updated over 6 years ago

Docker image for Frama-C

Image

10K+

Tags for professormahi/frama-c

Sort by

TAG

latest

Last pushed over 6 years by professormahi

docker pull professormahi/frama-c:latest

Digest	OS/ARCH	Compressed size
a3f847b24c06	linux/amd64	391.66 MB