Sign inSign up

framac/frama-c-gui

By framac

•Updated over 1 year ago

Frama-C snapshots from Gitlab, with GUI. For images without GUI, see framac/frama-c.

Image
Languages & frameworks
Integration & delivery
Developer tools
1

2.3K

Tags for framac/frama-c-gui

Sort by

TAG

dev

Last pushed over 1 year by framac

docker pull framac/frama-c-gui:dev
DigestOS/ARCHCompressed size

0f5c7946e6ef

linux/amd64

1.35 GB

TAG

dev.alpine

Last pushed over 1 year by framac

docker pull framac/frama-c-gui:dev.alpine
DigestOS/ARCHCompressed size

1ade62e98556

linux/amd64

1022.96 MB

TAG

dev.fedora

Last pushed over 1 year by framac

docker pull framac/frama-c-gui:dev.fedora
DigestOS/ARCHCompressed size

89910e74739d

linux/amd64

1.23 GB

TAG

dev.debian

Last pushed over 1 year by framac

docker pull framac/frama-c-gui:dev.debian
DigestOS/ARCHCompressed size

0f5c7946e6ef

linux/amd64

1.35 GB

TAG

30.0

Last pushed almost 2 years by framac

docker pull framac/frama-c-gui:30.0
DigestOS/ARCHCompressed size

6d721d9598b1

linux/amd64

1.35 GB

TAG

30.0.alpine

Last pushed almost 2 years by framac

docker pull framac/frama-c-gui:30.0.alpine
DigestOS/ARCHCompressed size

b41350d317de

linux/amd64

1.01 GB

TAG

30.0.fedora

Last pushed almost 2 years by framac

docker pull framac/frama-c-gui:30.0.fedora
DigestOS/ARCHCompressed size

6d721d9598b1

linux/amd64

1.35 GB

TAG

30.0.debian

Last pushed almost 2 years by framac

docker pull framac/frama-c-gui:30.0.debian
DigestOS/ARCHCompressed size

6d721d9598b1

linux/amd64

1.35 GB

TAG

29.0

Last pushed about 2 years by framac

docker pull framac/frama-c-gui:29.0
DigestOS/ARCHCompressed size

d2f78f7c65b5

linux/amd64

1.39 GB

TAG

29.0.alpine

Last pushed about 2 years by framac

docker pull framac/frama-c-gui:29.0.alpine
DigestOS/ARCHCompressed size

29dbf0ee3f00

linux/amd64

1.08 GB

TAG

29.0.fedora

Last pushed about 2 years by framac

docker pull framac/frama-c-gui:29.0.fedora
DigestOS/ARCHCompressed size

d2f78f7c65b5

linux/amd64

1.39 GB

TAG

29.0.debian

Last pushed about 2 years by framac

docker pull framac/frama-c-gui:29.0.debian
DigestOS/ARCHCompressed size

d2f78f7c65b5

linux/amd64

1.39 GB

TAG

28.1

Last pushed over 2 years by framac

docker pull framac/frama-c-gui:28.1
DigestOS/ARCHCompressed size

d7f31580fc6e

linux/amd64

1.23 GB

TAG

28.1.alpine

Last pushed over 2 years by framac

docker pull framac/frama-c-gui:28.1.alpine
DigestOS/ARCHCompressed size

5a34009ec30d

linux/amd64

862.68 MB

TAG

28.1.fedora

Last pushed over 2 years by framac

docker pull framac/frama-c-gui:28.1.fedora
DigestOS/ARCHCompressed size

5fa7b70c37f3

linux/amd64

1.08 GB

TAG

28.1.debian

Last pushed over 2 years by framac

docker pull framac/frama-c-gui:28.1.debian
DigestOS/ARCHCompressed size

d7f31580fc6e

linux/amd64

1.23 GB

TAG

28.0

Last pushed almost 3 years by framac

docker pull framac/frama-c-gui:28.0
DigestOS/ARCHCompressed size

6bb6010d7845

linux/amd64

1.23 GB

TAG

28.0.alpine

Last pushed almost 3 years by framac

docker pull framac/frama-c-gui:28.0.alpine
DigestOS/ARCHCompressed size

88cee44bef6c

linux/amd64

862.14 MB

TAG

28.0.fedora

Last pushed almost 3 years by framac

docker pull framac/frama-c-gui:28.0.fedora
DigestOS/ARCHCompressed size

ad0a4aa0d5ec

linux/amd64

1.08 GB

TAG

28.0.debian

Last pushed almost 3 years by framac

docker pull framac/frama-c-gui:28.0.debian
DigestOS/ARCHCompressed size

6bb6010d7845

linux/amd64

1.23 GB

TAG

27.1.fedora

Last pushed about 3 years by framac

docker pull framac/frama-c-gui:27.1.fedora
DigestOS/ARCHCompressed size

0cb7622333e2

linux/amd64

1.06 GB

TAG

27.1.alpine

Last pushed about 3 years by framac

docker pull framac/frama-c-gui:27.1.alpine
DigestOS/ARCHCompressed size

039e6c28f4ce

linux/amd64

846.47 MB

TAG

27.1.debian

Last pushed about 3 years by framac

docker pull framac/frama-c-gui:27.1.debian
DigestOS/ARCHCompressed size

b9cb385b4253

linux/amd64

1.21 GB

TAG

27.1

Last pushed about 3 years by framac

docker pull framac/frama-c-gui:27.1
DigestOS/ARCHCompressed size

b9cb385b4253

linux/amd64

1.21 GB

TAG

27.0

Last pushed about 3 years by framac

docker pull framac/frama-c-gui:27.0
DigestOS/ARCHCompressed size

e138ed5f31d3

linux/amd64

1.21 GB