about summary refs log tree commit diff
path: root/pkgs/development/tools/minizinc
AgeCommit message (Expand)AuthorFilesLines
2024-06-17minizincide: 2.8.4 -> 2.8.5R. Ryantm1-2/+2
2024-06-10Merge pull request #316946 from r-ryantm/auto-update/minizincPeder Bergebakken Sundt1-2/+2
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-06-03minizinc: 2.8.4 -> 2.8.5R. Ryantm1-2/+2
2024-05-21minizincide: 2.8.3 -> 2.8.4R. Ryantm1-2/+2
2024-05-10minizinc: 2.8.3 -> 2.8.4R. Ryantm1-2/+2
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2024-03-09minizincide: 2.8.2 -> 2.8.3R. Ryantm1-2/+2
2024-03-07Merge pull request #285481 from r-ryantm/auto-update/minizincWeijia Wang1-2/+2
2024-02-01minizinc: 2.8.2 -> 2.8.3R. Ryantm1-2/+2
2024-01-31minizincide: 2.5.5 -> 2.8.2Jip J. Dekker1-9/+17
2023-12-16minizinc: 2.8.0 -> 2.8.2R. Ryantm1-2/+2
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-05 16:24:41 +0000