Andreas Ländle 9fc26070b1 Revert to stack 3.7.1 and curator build with lts-22.43 (#7933).		2026-01-19 19:02:33 +01:00
..
01-build-server.sh	Revert to stack 3.7.1 and curator build with lts-22.43 (#7933).	2026-01-19 19:02:33 +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