Nuno Lopes fd698f41fe travis: lets try with python 3		2021-02-20 10:07:40 +00:00
..
z3_base_ubuntu_18.04.Dockerfile	update travis to ubuntu 18.04	2021-02-18 18:46:30 +00:00
z3_build.Dockerfile	travis: lets try with python 3	2021-02-20 10:07:40 +00:00