Daniël de Kok a81e873f4e minizinc: 2.2.3 -> 2.4.3, fix build ... - Update minizinc to 2.4.3. - Fix build with newer Bison versions.		2020-08-09 10:14:57 -07:00
..
default.nix	minizinc: 2.2.3 -> 2.4.3, fix build	2020-08-09 10:14:57 -07:00
ide.nix	…