5 Commits

Author	SHA1	Message	Date
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	9ef980740a	docker: add libgtk-4	2022-12-30 23:33:58 +08:00
Jens Petersen	c5c2e9bc27	bump installed llvm versions to 11-13 ... 22.04 doesn't have llvm 7-9	2022-12-30 23:10:31 +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