Renaud 59660bb476

Merge pull request #59510 from r-ryantm/auto-update/gecode ...

gecode: 6.1.1 -> 6.2.0

2019-04-24 20:42:59 +02:00

..

3.nix

treewide: Change URLs to HTTPS

2019-04-22 10:19:54 +02:00

default.nix

Merge pull request #59510 from r-ryantm/auto-update/gecode

2019-04-24 20:42:59 +02:00