about summary refs log tree commit diff
path: root/pkgs/development/tools/minizinc
Commit message (Collapse)AuthorAge
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
|
* minizincide: 2.4.2 -> 2.4.3R. RyanTM2020-04-06
|
* minizincide: 2.3.2 -> 2.4.2R. RyanTM2020-03-14
|
* minizincide: 2.3.1 -> 2.3.2R. RyanTM2019-12-08
|
* treewide: name -> pnamevolth2019-08-17
|
* minizincide: 2.3.0 -> 2.3.1R. RyanTM2019-08-04
| | | | | | | 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
* minizincide: 2.2.3 -> 2.3.0R. RyanTM2019-07-05
| | | | | | | 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
* treewide: update homepages to https where availableMatthew Bauer2019-04-15
| | | | | | | | Based on "problems" from repology: https://repology.org/repository/nix_unstable/problems Mostly simple changes to reflect redirects.
* minizincide: minor touchups per reviewer suggestionWill Dietz2019-01-05
| | | | (sourceRoot needed a "source/" prefix, FWIW)
* minizincide: https, touchup, don't volunteer others to maintain haha :PWill Dietz2018-12-02
|
* minizincide: init at 2.2.3Will Dietz2018-12-01
| | | | | * wrap so minizinc on PATH (to ensure it's avail/found)
* minizinc: 2.2.1 -> 2.2.3worldofpeace2018-11-23
| | | | | | | | 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
* minizinc: 2.2.0 -> 2.2.1 (#49241)R. RyanTM2018-10-27
| | | | | | 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
* minizinc: 2.1.7 -> 2.2.0 (#45816)R. RyanTM2018-08-31
| | | | | | Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from minizinc
* minizinc: 2.0.14 -> 2.1.7Ryan Mulligan2018-02-27
| | | | | | | | | | | | | | | | | | | | | 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"
* pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2017-08-01
| | | | | | | | | | | | * 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
* minizinc: init at 2.0.14 (#18308)Sheena Artrip2016-09-06
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-28 13:29:48 +0000