4 Commits

Author	SHA1	Message	Date
Henrik Grimler	ef35a46ccb	z3: update to 4.8.9	2020-10-17 21:13:38 +02:00
Butta	acf12000f1	Revert z3 update and bump vim and vim-python on the CI	2020-09-11 23:44:44 +05:30
Butta	7602acb71d	vim, vim-python: update from 8.2.1600 to 8.2.1650 ... z3: update from 4.8.8 to 4.8.9	2020-09-11 23:20:15 +05:30
ifurther	43584f0b52	new package: z3 (#5542)	2020-07-15 01:45:53 +03:00