summary refs log tree commit diff
path: root/pkgs/development/libraries/gecode
AgeCommit message (Expand)AuthorFilesLines
2023-11-09gecode_3: fix build with clang 16Weijia Wang1-0/+7
2022-09-02gecode_3: mark darwin workingStanisław Pitucha1-1/+0
2022-05-30treewide: pkgs/development/libraries: mark broken for darwinRick van Schijndel1-0/+1
2022-05-27gecode_3: fix on darwin using same patch as gecode_6Robert Scott3-7/+18
2022-05-22gecode_6: add patch fixing clang buildRobert Scott1-1/+21
2022-04-16treewide: remove nativeBuildInputs that are in stdenvBen Siraphob1-2/+2
2021-01-25qtbase: Check for wrapQtAppsHook in setupHookThomas Tuegel1-0/+1
2021-01-21pkgs/development/libraries: stdenv.lib -> libBen Siraphob2-5/+5
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly2-2/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth2-3/+3
2019-04-24Merge pull request #59510 from r-ryantm/auto-update/gecodeRenaud1-2/+2
2019-04-22treewide: Change URLs to HTTPSDaniel Schaefer2-2/+2
2019-04-14gecode: 6.1.1 -> 6.2.0R. RyanTM1-2/+2
2019-03-03gecode: 6.1.0 -> 6.1.1R. RyanTM1-2/+2
2018-12-01gecode: remove maintainer per requestWill Dietz1-1/+1
2018-12-01gecode: more deps, build w/gist support but make optionalWill Dietz1-2/+4
2018-12-01gecode: 6.0.0 -> 6.1.0Will Dietz1-5/+7
2018-03-30gecode: 5.0.0 -> 6.0.0Ryan Mulligan1-2/+2
2018-03-01gecode_3: use bash to run "configure", fix errorWill Dietz1-2/+4
2017-03-12gecode: 4.4.0 -> 5.0.0ndowens1-2/+3
2015-12-29ruby: new bundler infrastructureCharles Strahan1-0/+21
2015-04-14gecode: update from 4.3.3 to 4.4.0Nathaniel Baxter1-2/+2
2015-02-17gecode: update from 4.3.0 to 4.3.3Nathaniel Baxter1-2/+2
2014-09-10gecode: fix metaMichael Fellinger1-3/+3
2014-09-10gecode: meta informationMichael Fellinger1-0/+8
2014-09-10gecode: add packageMichael Fellinger1-0/+13