summaryrefslogtreecommitdiff
path: root/pkgs/development/libraries/gecode
AgeCommit message (Expand)Author
10 daysmaintainers: drop manveruWolfgang Walther
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-07-24treewide: run nixfmt 1.0.0Wolfgang Walther
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2023-11-09gecode_3: fix build with clang 16Weijia Wang
2022-09-02gecode_3: mark darwin workingStanisław Pitucha
2022-05-30treewide: pkgs/development/libraries: mark broken for darwinRick van Schijndel
2022-05-27gecode_3: fix on darwin using same patch as gecode_6Robert Scott
2022-05-22gecode_6: add patch fixing clang buildRobert Scott
2022-04-16treewide: remove nativeBuildInputs that are in stdenvBen Siraphob
2021-01-25qtbase: Check for wrapQtAppsHook in setupHookThomas Tuegel
2021-01-21pkgs/development/libraries: stdenv.lib -> libBen Siraphob
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2019-08-15treewide: name -> pname (easy cases) (#66585)volth
2019-04-24Merge pull request #59510 from r-ryantm/auto-update/gecodeRenaud
2019-04-22treewide: Change URLs to HTTPSDaniel Schaefer
2019-04-14gecode: 6.1.1 -> 6.2.0R. RyanTM
2019-03-03gecode: 6.1.0 -> 6.1.1R. RyanTM
2018-12-01gecode: remove maintainer per requestWill Dietz
2018-12-01gecode: more deps, build w/gist support but make optionalWill Dietz
2018-12-01gecode: 6.0.0 -> 6.1.0Will Dietz
2018-03-30gecode: 5.0.0 -> 6.0.0Ryan Mulligan
2018-03-01gecode_3: use bash to run "configure", fix errorWill Dietz
2017-03-12gecode: 4.4.0 -> 5.0.0ndowens
2015-12-29ruby: new bundler infrastructureCharles Strahan
2015-04-14gecode: update from 4.3.3 to 4.4.0Nathaniel Baxter
2015-02-17gecode: update from 4.3.0 to 4.3.3Nathaniel Baxter
2014-09-10gecode: fix metaMichael Fellinger
2014-09-10gecode: meta informationMichael Fellinger
2014-09-10gecode: add packageMichael Fellinger