R. RyanTM d72125d568 minizinc: 2.1.7 -> 2.2.0 (#45816) ... Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from minizinc		2018-08-31 09:42:58 +02:00
..
default.nix	minizinc: 2.1.7 -> 2.2.0 (#45816)	2018-08-31 09:42:58 +02:00