Sign inSign up

tptpstarexec/vampire

By tptpstarexec

•Updated almost 2 years ago

Image
1

352

Tags for tptpstarexec/vampire

Sort by

TAG

4.9-RLR-amd64

Last pushed almost 2 years by tptpstarexec

docker pull tptpstarexec/vampire:4.9-RLR-amd64
DigestOS/ARCHCompressed size

b8097af652d4

linux/amd64

542.54 MB

TAG

4.8-runsolver-amd64

Last pushed over 2 years by tptpstarexec

docker pull tptpstarexec/vampire:4.8-runsolver-amd64
DigestOS/ARCHCompressed size

650b5efca4e2

linux/amd64

501.09 MB

TAG

4.8-runsolver-arm64

Last pushed over 2 years by tptpstarexec

docker pull tptpstarexec/vampire:4.8-runsolver-arm64
DigestOS/ARCHCompressed size

f26f0853f71b

linux/arm64

485.78 MB