about summary refs log tree commit diff
path: root/pkgs/development/tools/minizinc
AgeCommit message (Collapse)AuthorFilesLines
2020-09-29minizinc: fix build against bison 3.7Robert Scott1-1/+11
fixed in upstream development branch enable for darwin
2020-08-09minizinc: 2.2.3 -> 2.4.3, fix buildDaniël de Kok1-4/+13
- Update minizinc to 2.4.3. - Fix build with newer Bison versions.
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2020-04-06minizincide: 2.4.2 -> 2.4.3R. RyanTM1-3/+3
2020-03-14minizincide: 2.3.2 -> 2.4.2R. RyanTM1-2/+2
2019-12-08minizincide: 2.3.1 -> 2.3.2R. RyanTM1-2/+2
2019-08-17treewide: name -> pnamevolth2-2/+4
2019-08-04minizincide: 2.3.0 -> 2.3.1R. RyanTM1-2/+2
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-07-05minizincide: 2.2.3 -> 2.3.0R. RyanTM1-2/+2
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-04-15treewide: update homepages to https where availableMatthew Bauer1-2/+1
Based on "problems" from repology: https://repology.org/repository/nix_unstable/problems Mostly simple changes to reflect redirects.
2019-01-05minizincide: minor touchups per reviewer suggestionWill Dietz1-2/+2
(sourceRoot needed a "source/" prefix, FWIW)
2018-12-02minizincide: https, touchup, don't volunteer others to maintain haha :PWill Dietz1-3/+3
2018-12-01minizincide: init at 2.2.3Will Dietz1-0/+42
* wrap so minizinc on PATH (to ensure it's avail/found)
2018-11-23minizinc: 2.2.1 -> 2.2.3worldofpeace1-4/+3
Using a git revision for 2.2.3 because their tags are disappearing. See: - https://github.com/MiniZinc/libminizinc/issues/257 - https://github.com/MiniZinc/libminizinc/issues/248
2018-10-27minizinc: 2.2.0 -> 2.2.1 (#49241)R. RyanTM1-2/+2
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/versions
2018-08-31minizinc: 2.1.7 -> 2.2.0 (#45816)R. RyanTM1-2/+2
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from minizinc
2018-02-27minizinc: 2.0.14 -> 2.1.7Ryan Mulligan1-2/+2
Semi-automatic update. These checks were performed: - built on NixOS - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn-fzn -h` got 0 exit code - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn-fzn --help` got 0 exit code - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn-fzn --version` and found version 2.1.7 - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn2fzn -h` got 0 exit code - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn2fzn --help` got 0 exit code - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn2fzn --version` and found version 2.1.7 - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn2fzn_test --version` and found version 2.1.7 - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/solns2out -h` got 0 exit code - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/solns2out --help` got 0 exit code - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/solns2out --version` and found version 2.1.7 - ran `/nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7/bin/mzn2doc --version` and found version 2.1.7 - found 2.1.7 with grep in /nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7 - found 2.1.7 in filename of file in /nix/store/bjxi9sdz068kd74wjal05kmndgq51qdh-minizinc-2.1.7 cc "@sheenobu"
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger1-1/+1
* pkgs: refactor needless quoting of homepage meta attribute A lot of packages are needlessly quoting the homepage meta attribute (about 1400, 22%), this commit refactors all of those instances. * pkgs: Fixing some links that were wrongfully unquoted in the previous commit * Fixed some instances
2016-09-06minizinc: init at 2.0.14 (#18308)Sheena Artrip1-0/+35
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-28 07:03:49 +0000