12 commits

Author	SHA1	Message	Date
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
R. RyanTM	9e4a598c69	minizincide: 2.2.3 -> 2.3.0 ... 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-05 23:27:53 +02:00
Matthew Bauer	290a5d916e	treewide: update homepages to https where available ... Based on "problems" from repology: https://repology.org/repository/nix_unstable/problems Mostly simple changes to reflect redirects.	2019-04-15 10:10:05 -04:00
Will Dietz	5adde64416	minizincide: minor touchups per reviewer suggestion ... (sourceRoot needed a "source/" prefix, FWIW)	2019-01-05 13:35:10 -06:00
Will Dietz	3d5ee86488	minizincide: https, touchup, don't volunteer others to maintain haha :P	2018-12-02 12:14:43 -06:00
Will Dietz	0e4c444cfe	minizincide: init at 2.2.3 ... * wrap so minizinc on PATH (to ensure it's avail/found)	2018-12-01 13:44:06 -06:00
worldofpeace	1040875bf4	minizinc: 2.2.1 -> 2.2.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-11-23 18:51:24 -05:00
R. RyanTM	642943d584	minizinc: 2.2.0 -> 2.2.1 (#49241) ... 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-10-27 07:30:07 -04:00
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
Ryan Mulligan	3b592a88e4	minizinc: 2.0.14 -> 2.1.7 ... 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"	2018-02-27 06:08:25 -08:00
Silvan Mosberger	f5fa5fa4d6	pkgs: refactor needless quoting of homepage meta attribute (#27809) ... * 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	2017-08-01 22:03:30 +02:00
Sheena Artrip	47e6d7d88c	minizinc: init at 2.0.14 (#18308)	2016-09-06 06:16:42 +02:00