stackage/docker
2026-01-17 19:57:12 +01:00
..
01-build-server.sh Use latest stack-3.9.1 to support cabal-version 3.12. 2026-01-17 19:57:12 +01:00
02-apt-get-install.sh add cvc5 for liquid-fixpoint tests (#7819) 2025-08-16 17:44:00 +08:00
03-custom-install.sh docker image: switch to ubuntu's erlang (kofigumbs/codec-beam#49) 2025-08-16 16:14:23 +08:00
04-cleanup.sh Upgrade docker image to ubuntu 20.04 2022-06-06 20:03:34 +02:00