From ee7fac8aaf86bf3917f0eeb665ae598e017e8862 Mon Sep 17 00:00:00 2001 From: Jesse Luehrs Date: Sat, 19 Jun 2021 23:48:27 -0400 Subject: use debian:stable-slim --- bin/smt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/smt b/bin/smt index 40078a9..59696ef 100755 --- a/bin/smt +++ b/bin/smt @@ -2,7 +2,7 @@ set -eu podman images | grep -q localhost/smt || cat <