Jan Malakhovski
5852f26bdc
treewide: noop: refer to src.name
or similar in sourceRoot
where appropriate, part 1: trivial cases
2023-08-03 16:32:03 +00:00
R. Ryantm
b77e33c4e0
minizinc: 2.7.5 -> 2.7.6
2023-06-24 15:58:30 +00:00
R. Ryantm
f55ff4fc60
minizinc: 2.7.4 -> 2.7.5
2023-06-12 04:44:30 +00:00
Sandro Jäckel
000000c2cf
minizinc: fix build inputs, format
2023-06-01 21:12:25 +02:00
Alexandru Scvortov
44a331ac33
minizinc: enable gecode and cbc solvers by default
...
Other changes:
- switch derivation to finalAttrs pattern
2023-06-01 14:07:14 +01:00
R. Ryantm
022973cdf1
minizinc: 2.7.3 -> 2.7.4
2023-05-12 11:08:49 +00:00
R. Ryantm
7002437a4c
minizinc: 2.7.2 -> 2.7.3
2023-05-04 10:26:12 +00:00
R. Ryantm
acb2c6ac81
minizinc: 2.7.1 -> 2.7.2
2023-04-18 20:06:35 +00:00
R. Ryantm
471ca58383
minizinc: 2.7.0 -> 2.7.1
2023-04-04 05:29:06 +00:00
R. Ryantm
c8a52f451c
minizinc: 2.6.4 -> 2.7.0
2023-02-24 05:06:31 +00:00
R. Ryantm
cbaf729704
minizinc: 2.6.2 -> 2.6.4
2022-08-23 22:25:47 +02:00
R. Ryantm
cc02c4aabf
minizinc: 2.6.1 -> 2.6.2
2022-03-23 21:44:49 +00:00
R. Ryantm
4ea733e0c3
minizinc: 2.6.0 -> 2.6.1
2022-03-04 12:03:41 +00:00
R. Ryantm
1c979d946b
minizinc: 2.5.5 -> 2.6.0
2022-02-25 11:44:22 -08:00
R. RyanTM
7fdb25a24b
minizincide: 2.5.3 -> 2.5.5
...
(#149848 )
2022-01-01 22:54:39 +01:00
Ben Siraphob
4ce8c34049
treewide: remove unnecessary enableParallelBuilding when using qmake
2021-07-20 10:32:58 +07:00
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
github-actions[bot]
7d94bb26bb
Merge master into staging-next
2021-02-10 18:16:36 +00:00
Daniel Albert
9da3fd6a09
minizincide: 2.4.3 -> 2.5.3
2021-02-09 15:37:12 +01:00
Thomas Tuegel
5590e365e4
qtbase: Check for wrapQtAppsHook in setupHook
2021-01-25 15:56:15 -06: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
R. RyanTM
0dc0eb5e3c
minizincide: 2.4.2 -> 2.4.3
2020-04-06 06:07:50 +00:00
R. RyanTM
21b8df1019
minizincide: 2.3.2 -> 2.4.2
2020-03-14 14:25:50 +01:00
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