Jens Petersen fa6fd006ab docker image: drop ubuntu's older z3 in favor of upstream for now (#7819) ... Since grisette tests need z3-4.12 or later		2025-08-16 16:28:13 +08:00
..
01-build-server.sh	update 'stack' 3.5.1 -> 3.7.1	2025-06-29 12:07:44 -04:00
02-apt-get-install.sh	docker image: drop ubuntu's older z3 in favor of upstream for now (#7819)	2025-08-16 16:28:13 +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