Sign inSign up

framac/frama-c

By framac

•Updated about 1 month ago

Frama-C snapshots from the public Gitlab branch.

Image
Languages & frameworks
Integration & delivery
Developer tools
2

10K+

Tags for framac/frama-c

Sort by

TAG

dev

Last pushed about 1 month by framac

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

c98f155d1405

linux/amd64

1.9 GB

TAG

dev.alpine

Last pushed about 1 month by framac

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

d233dbc7d3b3

linux/amd64

1.84 GB

TAG

dev.fedora

Last pushed about 1 month by framac

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

a813d770757a

linux/amd64

2.24 GB

TAG

dev.debian

Last pushed about 1 month by framac

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

c98f155d1405

linux/amd64

1.9 GB

TAG

32.1

Last pushed about 1 month by framac

docker pull framac/frama-c:32.1
DigestOS/ARCHCompressed size

4f0b7a2bd600

linux/amd64

1.98 GB

TAG

32.1.alpine

Last pushed about 1 month by framac

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

d22647f10c33

linux/amd64

1.79 GB

TAG

32.1.fedora

Last pushed about 1 month by framac

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

9f6b666872ab

linux/amd64

2.28 GB

TAG

32.1.debian

Last pushed about 1 month by framac

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

4f0b7a2bd600

linux/amd64

1.98 GB

TAG

32.0

Last pushed 7 months by framac

docker pull framac/frama-c:32.0
DigestOS/ARCHCompressed size

35c7b8c98fa0

linux/amd64

2.1 GB

TAG

32.0.alpine

Last pushed 7 months by framac

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

1a4ad0cbd1fa

linux/amd64

1.78 GB

TAG

32.0.fedora

Last pushed 7 months by framac

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

efee7a377ae5

linux/amd64

2 GB

TAG

32.0.debian

Last pushed 7 months by framac

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

35c7b8c98fa0

linux/amd64

2.1 GB

TAG

31.0

Last pushed about 1 year by framac

docker pull framac/frama-c:31.0
DigestOS/ARCHCompressed size

ea473030403b

linux/amd64

1.74 GB

TAG

31.0.alpine

Last pushed about 1 year by framac

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

acf245ab641e

linux/amd64

1.63 GB

TAG

31.0.fedora

Last pushed about 1 year by framac

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

3cdc4eb5acf9

linux/amd64

1.81 GB

TAG

31.0.debian

Last pushed about 1 year by framac

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

ea473030403b

linux/amd64

1.74 GB

TAG

dev-stripped

Last pushed over 1 year by framac

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

84dd7d1063e5

linux/amd64

747.86 MB

TAG

dev-stripped.alpine

Last pushed over 1 year by framac

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

b464f1a678c4

linux/amd64

411.13 MB

TAG

dev-stripped.fedora

Last pushed over 1 year by framac

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

084354545e3b

linux/amd64

657.04 MB

TAG

dev-stripped.debian

Last pushed over 1 year by framac

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

84dd7d1063e5

linux/amd64

747.86 MB

TAG

30.0-stripped

Last pushed over 1 year by framac

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

d512d9b40311

linux/amd64

743.32 MB

TAG

30.0

Last pushed over 1 year by framac

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

698cad28aecf

linux/amd64

1.33 GB

TAG

30.0-stripped.alpine

Last pushed over 1 year by framac

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

8b4b36b853f4

linux/amd64

413.08 MB

TAG

30.0.alpine

Last pushed over 1 year by framac

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

54b1222724f4

linux/amd64

997.75 MB

TAG

30.0-stripped.fedora

Last pushed over 1 year by framac

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

73fe9bf7c4b0

linux/amd64

658.94 MB