about summary refs log tree commit diff
path: root/pkgs/development/tools/minizinc
AgeCommit message (Expand)AuthorFilesLines
2023-11-18minizinc: 2.7.6 -> 2.8.0R. Ryantm1-2/+2
2023-08-03treewide: noop: refer to `src.name` or similar in `sourceRoot` where appropri...Jan Malakhovski1-1/+1
2023-06-24minizinc: 2.7.5 -> 2.7.6R. Ryantm1-2/+2
2023-06-12minizinc: 2.7.4 -> 2.7.5R. Ryantm1-2/+2
2023-06-01minizinc: fix build inputs, formatSandro Jäckel3-13/+18
2023-06-01minizinc: enable gecode and cbc solvers by defaultAlexandru Scvortov6-5/+98
2023-05-12minizinc: 2.7.3 -> 2.7.4R. Ryantm1-2/+2
2023-05-04minizinc: 2.7.2 -> 2.7.3R. Ryantm1-2/+2
2023-04-18minizinc: 2.7.1 -> 2.7.2R. Ryantm1-2/+2
2023-04-04minizinc: 2.7.0 -> 2.7.1R. Ryantm1-2/+2
2023-02-24minizinc: 2.6.4 -> 2.7.0R. Ryantm1-2/+2
2022-08-23minizinc: 2.6.2 -> 2.6.4R. Ryantm1-2/+2
2022-03-23minizinc: 2.6.1 -> 2.6.2R. Ryantm1-2/+2
2022-03-04minizinc: 2.6.0 -> 2.6.1R. Ryantm1-2/+2
2022-02-25minizinc: 2.5.5 -> 2.6.0R. Ryantm1-2/+2
2022-01-01minizincide: 2.5.3 -> 2.5.5R. RyanTM1-2/+2
2021-07-20treewide: remove unnecessary enableParallelBuilding when using qmakeBen Siraphob1-1/+0
2021-07-18various: cleanup of "inherit version;"Felix Buehler2-10/+4
2021-03-22minizinc: 2.5.4 -> 2.5.5R. RyanTM1-2/+2
2021-03-17minizinc: 2.5.3 -> 2.5.4R. RyanTM1-2/+2
2021-02-10Merge master into staging-nextgithub-actions[bot]2-27/+9
2021-02-09minizincide: 2.4.3 -> 2.5.3Daniel Albert2-27/+9
2021-01-25qtbase: Check for wrapQtAppsHook in setupHookThomas Tuegel1-0/+1
2021-01-23pkgs/development/tools: stdenv.lib -> libBen Siraphob2-5/+5
2021-01-01treewide: cmake buildInputs to nativeBuildInputs, minor cleanupsBen Siraphob1-1/+1
2020-10-27treewide: remove package names from prefix of descriptionsBen Siraphob1-1/+1
2020-10-17treewide: remove periods from end of package descriptionsBen Siraphob1-1/+1
2020-09-29minizinc: fix build against bison 3.7Robert Scott1-1/+11
2020-08-09minizinc: 2.2.3 -> 2.4.3, fix buildDaniël de Kok1-4/+13
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2020-04-06minizincide: 2.4.2 -> 2.4.3R. RyanTM1-3/+3
2020-03-14minizincide: 2.3.2 -> 2.4.2R. RyanTM1-2/+2
2019-12-08minizincide: 2.3.1 -> 2.3.2R. RyanTM1-2/+2
2019-08-17treewide: name -> pnamevolth2-2/+4
2019-08-04minizincide: 2.3.0 -> 2.3.1R. RyanTM1-2/+2
2019-07-05minizincide: 2.2.3 -> 2.3.0R. RyanTM1-2/+2
2019-04-15treewide: update homepages to https where availableMatthew Bauer1-2/+1
2019-01-05minizincide: minor touchups per reviewer suggestionWill Dietz1-2/+2
2018-12-02minizincide: https, touchup, don't volunteer others to maintain haha :PWill Dietz1-3/+3
2018-12-01minizincide: init at 2.2.3Will Dietz1-0/+42
2018-11-23minizinc: 2.2.1 -> 2.2.3worldofpeace1-4/+3
2018-10-27minizinc: 2.2.0 -> 2.2.1 (#49241)R. RyanTM1-2/+2
2018-08-31minizinc: 2.1.7 -> 2.2.0 (#45816)R. RyanTM1-2/+2
2018-02-27minizinc: 2.0.14 -> 2.1.7Ryan Mulligan1-2/+2
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger1-1/+1
2016-09-06minizinc: init at 2.0.14 (#18308)Sheena Artrip1-0/+35
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-11 22:27:33 +0000