1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 03:17:13 +00:00
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
ide.nix minizincide: 2.3.0 -> 2.3.1 2019-08-04 16:19:03 -07:00