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:1d8c5fa4c8f4c08eee292d2248d1496a4852498666a6d4a0b9bef3cf0eb8b940
unknown/unknown
$ docker pull ghcr.io/toktok/frama-c:latest@sha256:f2f7ada75836822b89c66c3e12cba9e13ddf09f2905a3d227d057e94430411fd
Recent tagged image versions
- 1 Version downloads
Loading
Sorry, something went wrong.
Details
-
TokTok
- dockerfiles
- GNU General Public License v3.0
- 8 stars
Last published
1 day ago
Issues
1
Total downloads