aboutsummaryrefslogtreecommitdiff
path: root/pkgs/development/libraries/gecode (follow)
Commit message (Expand)AuthorAgeFilesLines
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-102-2/+2
* treewide: name -> pname (easy cases) (#66585)volth2019-08-152-3/+3
* Merge pull request #59510 from r-ryantm/auto-update/gecodeRenaud2019-04-241-2/+2
|\
| * gecode: 6.1.1 -> 6.2.0R. RyanTM2019-04-141-2/+2
* | treewide: Change URLs to HTTPSDaniel Schaefer2019-04-222-2/+2
|/
* gecode: 6.1.0 -> 6.1.1R. RyanTM2019-03-031-2/+2
* gecode: remove maintainer per requestWill Dietz2018-12-011-1/+1
* gecode: more deps, build w/gist support but make optionalWill Dietz2018-12-011-2/+4
* gecode: 6.0.0 -> 6.1.0Will Dietz2018-12-011-5/+7
* gecode: 5.0.0 -> 6.0.0Ryan Mulligan2018-03-301-2/+2
* gecode_3: use bash to run "configure", fix errorWill Dietz2018-03-011-2/+4
* gecode: 4.4.0 -> 5.0.0ndowens2017-03-121-2/+3
* ruby: new bundler infrastructureCharles Strahan2015-12-291-0/+21
* gecode: update from 4.3.3 to 4.4.0Nathaniel Baxter2015-04-141-2/+2
* gecode: update from 4.3.0 to 4.3.3Nathaniel Baxter2015-02-171-2/+2
* gecode: fix metaMichael Fellinger2014-09-101-3/+3
* gecode: meta informationMichael Fellinger2014-09-101-0/+8
* gecode: add packageMichael Fellinger2014-09-101-0/+13