10 Commits

Author	SHA1	Message	Date
Andreas Ländle	18256dc2d5	Hope proto-lens-protobuf-types just needs up-to-date protoc.	2025-05-14 13:13:47 +02:00
Jens Petersen	b20dcca3f7	docker build image: bump to ubuntu:24.04 ... - llvm bumps - drop ocilib - drop java-8 ldconfig - drop tensorflow - drop libjwt	2025-05-05 15:26:11 +08:00
Sirui Lu	4765d1e5a1	Update z3 for grisette test suite (lsrcz/grisette#287) (#7677)	2025-02-10 12:49:40 -08:00
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