Sign inSign up

fgrehm/san-lite-solver:latest

Manifest digest

sha256:c977272d05c6e623bde98a0b88d08fa72e35ce7f33ef743040d0a976d4af52c9

OS/ARCH

linux/amd64

Compressed size

82 MB

Last pushed

about 10 years by fgrehm

Type

Image

Manifest digest

sha256:c977272d05c6e623bde98a0b88d08fa72e35ce7f33ef743040d0a976d4af52c9

Image Layers

Image Layers

1ADD file ... in /47.43 MB
2/bin/sh -c set -xe &&823 B
3/bin/sh -c rm -rf /var/lib/apt/lists/*446 B
4/bin/sh -c sed -i 's/^#\s*\(deb.*universe\)$/\1/g'678 B
5/bin/sh -c mkdir -p /run/systemd160 B
6CMD ["/bin/bash"]0 B
7MAINTAINER Fabio Rehm "[email protected]"0 B
8/bin/sh -c apt-get update 34.57 MB
9ENTRYPOINT ["/usr/bin/san-lite-solver"]0 B

Command

ADD file:902bff94e00fb3d9ebb11dc5000a0f0f2400885c56f4fbfb00de394534e282f7 in /