13 Commits

Author	SHA1	Message	Date
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