Jip J. Dekker
|
b2c07d4a34
|
minizincide: 2.5.5 -> 2.8.2
|
2024-01-31 11:17:51 +11:00 |
|
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 |
|
Sandro Jäckel
|
000000c2cf
|
minizinc: fix build inputs, format
|
2023-06-01 21:12:25 +02: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 |
|
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 |
|
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 |
|
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 |
|