eldesh/verifast:2cd8e6f

Manifest digest

sha256:5e359cdc2e064d678ebd3161c9ef9903366de3f7dbd66be513df825f4c741659

OS/ARCH

linux/amd64

Compressed size

209.92 MB

Last pushed

over 8 years by eldesh

Type

Image

Manifest digest

sha256:5e359cdc2e064d678ebd3161c9ef9903366de3f7dbd66be513df825f4c741659

Image Layers

1ADD file ... in / 69.96 MB

2LABEL name=CentOS Base Image0 B

3CMD ["/bin/bash"]0 B

4LABEL name=verifast version=1 description=A0 B

5ARG MAKEFLAGS=-j10 B

6ARG OPAM_VER=1.2.20 B

7ARG OCAML_VER=4.02.10 B

8ARG Z3_VER=z3-4.5.00 B

9ARG VERIFAST_VER=3cc741395c438e27225527d95dce7d85dd2721fc0 B

10ARG GTKSOURCEVIEW_MAJOR_VER=20 B

11ARG GTKSOURCEVIEW_MINOR_VER=100 B

12ARG GTKSOURCEVIEW_PATCH_VER=00 B

13ARG GTKSOURCEVIEW_VER=2.10.00 B

14ARG PKG_CONFIG_PATH=/usr/lib64/pkgconfig:/usr/local/lib/pkgconfig0 B

15ENV PATH=/verifast/verifast/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B

16WORKDIR /verifast97 B

17|10 GTKSOURCEVIEW_MAJOR_VER=2 GTKSOURCEVIEW_MINOR_VER=10 GTKSOURCEVIEW_PATCH_VER=0 GTKSOURCEVIEW_VER=2.10.0139.96 MB

18COPY file:a2ae9cc783179d5c8078bd08d4e40b44dc5f9c73a48657bbb01d5c581e49b5c9 in /verifast/entrypoint.sh 212 B

19ENTRYPOINT ["/verifast/entrypoint.sh"]0 B

20CMD ["vfide"]0 B

Command

ADD file:d6a1da927f0b7a710092fca7e3f021d2757fa3006cdbda3fe0898114832eda9b in /