frama-c latest Public Latest
Install from the command line
$ docker pull ghcr.io/toktok/frama-c:latest
linux/amd64
$ docker pull ghcr.io/toktok/frama-c:latest@sha256:713e03fd2b264f7d9ecd9bd4cf6d6a721b07b66e3b2292a3461b8bbd293dd6e2
unknown/unknown
$ docker pull ghcr.io/toktok/frama-c:latest@sha256:e469e5f6ef12f98dbf86a947959b826ba0f79376e3b82772ca2546985fb04edc
Recent tagged image versions
- 24 Version downloads
Loading
Sorry, something went wrong.
Details
-
TokTok
- dockerfiles
- GNU General Public License v3.0
- 7 stars
Last published
6 months ago
Issues
0
Total downloads