JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
326,152 Commits 2 Branches 0 Tags 12 GiB
66bd2ccec5
Commit Graph

19 Commits

Author SHA1 Message Date
Felix Buehler
87316d778b various: cleanup of "inherit version;" 2021-07-18 00:19:24 +02:00
R. RyanTM
971b497a47 minizinc: 2.5.4 -> 2.5.5 2021-03-22 12:14:15 +00:00
R. RyanTM
e6d2e360e9 minizinc: 2.5.3 -> 2.5.4 2021-03-17 15:22:41 +00:00
Daniel Albert
9da3fd6a09 minizincide: 2.4.3 -> 2.5.3 2021-02-09 15:37:12 +01:00
Ben Siraphob
c522fec274 pkgs/development/tools: stdenv.lib -> lib 2021-01-23 20:30:03 +07:00
Ben Siraphob
b04fc593e7 treewide: cmake buildInputs to nativeBuildInputs, minor cleanups 2021-01-01 11:52:33 +07:00
Ben Siraphob
db74029e3e treewide: remove package names from prefix of descriptions 2020-10-27 09:15:07 -07:00
Ben Siraphob
683a87dbeb treewide: remove periods from end of package descriptions 2020-10-17 08:22:31 -07:00
Robert Scott
9f65c524bb minizinc: fix build against bison 3.7 
fixed in upstream development branch

enable for darwin
 2020-09-29 05:47:46 -07:00
Daniël de Kok
a81e873f4e minizinc: 2.2.3 -> 2.4.3, fix build 
- Update minizinc to 2.4.3.
- Fix build with newer Bison versions.
 2020-08-09 10:14:57 -07:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
volth
c814d72b51 treewide: name -> pname 2019-08-17 10:54:38 +00: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
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