7 Commits

Author	SHA1	Message	Date
Sirui Lu	2d88ebef11	Add grisette	2024-01-12 09:45:30 -08:00
Jens Petersen	ee4e2d243d	Docker: remove various stale commented-out lines	2023-06-12 19:15:08 +02:00
Jens Petersen	9d60ad8f71	use ubuntu nodejs ... (not sure if anything is actually still using it)	2022-12-30 23:45:40 +08:00
Jens Petersen	1195a23daf	docker: disable llvm9 alternatives	2022-12-30 23:34:21 +08:00
Jens Petersen	ff8e03d285	disable llvm bionic repo for now	2022-12-30 23:26:24 +08:00
Jens Petersen	ea2fead291	update docker image to Ubuntu/pid1 22.04 LTS ... - drop embedding ghc and stack - use libz3-dev	2022-12-30 23:03:37 +08:00
Adam Bergmark	431c2b0933	Upgrade docker image to ubuntu 20.04	2022-06-06 20:03:34 +02:00