19 Commits

Author	SHA1	Message	Date
Jens Petersen	3e386f2b58	docker image: bump to libncurses-dev (ie ncurses6) ... All recent ghc builds use tinfo6	2024-05-14 23:08:40 +08:00
Andreas Ländle	3b74e0f275	Install libopenmpi-dev for mpi-hs.	2024-01-29 20:24:30 +01:00
Sirui Lu	2d88ebef11	Add grisette	2024-01-12 09:45:30 -08:00
Andreas Ländle	f9a01cba04	Wanna give cuda another chance.	2023-12-09 10:07:12 +01:00
Preetham Gujjula	ec630b553e	add primecount (#7099)	2023-08-24 21:43:25 -07:00
Jens Petersen	ee4e2d243d	Docker: remove various stale commented-out lines	2023-06-12 19:15:08 +02:00
Adam Bergmark	4146b4c964	Merge pull request #6972 from thielema/coinor ... Add linear-programming and coinor-clp	2023-05-14 12:26:48 +02:00
Henning Thielemann	df21c702b2	Add linear-programming and Debian package libglpk-dev ... needed by comfort-glpk	2023-05-11 22:44:38 +02:00
Henning Thielemann	7b61fdb1f0	Add linear-programming and coinor-clp	2023-05-11 16:46:58 +02:00
Jens Petersen	42a2c8574f	docker image: add webkit2gtk-4.0	2023-01-05 11:59:02 +08:00
Jens Petersen	7d1f56c271	add libsoup2.4-dev to docker image	2023-01-04 15:30:40 +08: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	9ef980740a	docker: add libgtk-4	2022-12-30 23:33:58 +08:00
Jens Petersen	ff8e03d285	disable llvm bionic repo for now	2022-12-30 23:26:24 +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	d8d8f6e9c1	make unzip awscliv2.zip quiet	2022-12-30 23:10:01 +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