Mihai Maruseac df1bc66f02 Install libnlopt as needed for #7574 ... Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>		2024-11-11 04:36:47 -08:00
..
01-build-server.sh	revert to official awscli binary	2024-07-12 00:55:25 +08:00
02-apt-get-install.sh	Install libnlopt as needed for #7574	2024-11-11 04:36:47 -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