Sign inSign up

facthunder/frama-c

By facthunder

•Updated over 6 years ago

Docker image for Frama-C

Image
1

10K+

Tags for facthunder/frama-c

Sort by

TAG

latest

Last pushed over 6 years by facthunder

docker pull facthunder/frama-c:latest
DigestOS/ARCHCompressed size

e4948320c88d

linux/amd64

248.9 MB

TAG

20.0

Last pushed over 6 years by facthunder

docker pull facthunder/frama-c:20.0
DigestOS/ARCHCompressed size

08d70b15578e

linux/amd64

248.88 MB

TAG

19.1

Last pushed almost 7 years by facthunder

docker pull facthunder/frama-c:19.1
DigestOS/ARCHCompressed size

2668657c94c3

linux/amd64

266.2 MB