Commit Graph

19 Commits (58c2b6c527bfb4af108243ecc598801471a97df4)

Author SHA1 Message Date
Robert Scott 125b803e44 gecode_6: add patch fixing clang build 2 years ago
Thomas Tuegel 5590e365e4
qtbase: Check for wrapQtAppsHook in setupHook 3 years ago
Ben Siraphob 66e44425c6 pkgs/development/libraries: stdenv.lib -> lib 3 years ago
Michael Reilly 84cf00f980
treewide: Per RFC45, remove all unquoted URLs 4 years ago
volth 46420bbaa3 treewide: name -> pname (easy cases) (#66585) 5 years ago
Daniel Schaefer bac4d95aa2 treewide: Change URLs to HTTPS 5 years ago
R. RyanTM f901019706 gecode: 6.1.1 -> 6.2.0 5 years ago
R. RyanTM 56e1fa2ad4 gecode: 6.1.0 -> 6.1.1 5 years ago
Will Dietz f00b8b028d gecode: remove maintainer per request 6 years ago
Will Dietz 303e4d7f1a gecode: more deps, build w/gist support but make optional 6 years ago
Will Dietz 1151a0182d gecode: 6.0.0 -> 6.1.0 6 years ago
Ryan Mulligan f713f7ff85 gecode: 5.0.0 -> 6.0.0 6 years ago
ndowens d80cb1b080 gecode: 4.4.0 -> 5.0.0 7 years ago
Nathaniel Baxter 4b7d390c92 gecode: update from 4.3.3 to 4.4.0 9 years ago
Nathaniel Baxter b19da5ba23 gecode: update from 4.3.0 to 4.3.3 9 years ago
Vladimír Čunát d957b4bd78 Merge recent master into staging 10 years ago
Michael Fellinger b3594998d3 gecode: fix meta 10 years ago
Michael Fellinger 6f2ffe2198 gecode: meta information 10 years ago
Michael Fellinger 4aed828dd0 gecode: add package 10 years ago