3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

14 commits

Author SHA1 Message Date
R. RyanTM af55862c3f minizincide: 2.3.1 -> 2.3.2 2019-12-08 10:31:27 -08:00
volth c814d72b51 treewide: name -> pname 2019-08-17 10:54:38 +00:00
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