nixpkgs/pkgs/development/tools/minizinc
R. RyanTM 9f3dd81f86 minizincide: 2.3.0 -> 2.3.1
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/minizinc-ide/versions
2019-08-04 16:19:03 -07:00
..
default.nix treewide: update homepages to https where available 2019-04-15 10:10:05 -04:00
ide.nix minizincide: 2.3.0 -> 2.3.1 2019-08-04 16:19:03 -07:00