Jens Petersen 50279cbf17 docker image: include cvc5 in the future for what4 testsuite ... https://github.com/GaloisInc/what4/issues/262 [skip ci]		2024-05-15 00:25:42 +08:00
..
01-build-server.sh	Docker: remove various stale commented-out lines	2023-06-12 19:15:08 +02:00
02-apt-get-install.sh	docker image: include cvc5 in the future for what4 testsuite	2024-05-15 00:25:42 +08:00
03-custom-install.sh	Add grisette	2024-01-12 09:45:30 -08:00
04-cleanup.sh	Upgrade docker image to ubuntu 20.04	2022-06-06 20:03:34 +02:00