about summary refs log tree commit diff
path: root/pkgs/development/tools/minizinc
AgeCommit message (Expand)AuthorFilesLines
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-12 17:13:13 +0000