gecode: 3.7.3 -> 6.0.0 #37302
Closed
gecode: 3.7.3 -> 6.0.0 #37302
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done: - built on NixOS - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/fzn-gecode --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/fzn-gecode --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/alpha -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/alpha --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/alpha help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/alpha --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bacp -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bacp --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bacp help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bacp --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bibd -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bibd --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bibd help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bibd --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/donald -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/donald --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/donald help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/donald --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/efpa -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/efpa --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/efpa help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/efpa --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/eq20 -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/eq20 --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/eq20 help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/eq20 --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golomb-ruler -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golomb-ruler --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golomb-ruler help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golomb-ruler --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/graph-color -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/graph-color --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/graph-color help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/graph-color --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/grocery -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/grocery --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/grocery help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/grocery --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/ind-set -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/ind-set --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/ind-set help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/ind-set --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/magic-sequence --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/magic-sequence --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/magic-square --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/magic-square --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/money -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/money --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/money help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/money --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/ortho-latin --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/ortho-latin --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/partition --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/partition --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/photo -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/photo --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/photo help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/photo --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/queens --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/queens --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sudoku -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sudoku --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sudoku help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sudoku --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/kakuro -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/kakuro --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/kakuro help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/kakuro --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/nonogram -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/nonogram --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/nonogram help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/nonogram --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/pentominoes -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/pentominoes --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/pentominoes help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/pentominoes --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crowded-chess --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crowded-chess --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/black-hole -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/black-hole --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/black-hole help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/black-hole --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/minesweeper -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/minesweeper --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/minesweeper help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/minesweeper --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/domino -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/domino --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/domino help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/domino --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/steel-mill --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/steel-mill --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sports-league --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sports-league --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/all-interval --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/all-interval --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/langford-number -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/langford-number --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/langford-number help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/langford-number --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/warehouses -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/warehouses --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/warehouses help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/warehouses --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/radiotherapy -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/radiotherapy --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/radiotherapy help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/radiotherapy --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/word-square --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/word-square --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crossword -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crossword --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crossword help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crossword --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/open-shop -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/open-shop --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/open-shop help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/open-shop --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/car-sequencing -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/car-sequencing --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/car-sequencing help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/car-sequencing --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sat --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sat --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bin-packing --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bin-packing --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/knights --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/knights --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/tsp -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/tsp --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/tsp help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/tsp --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/perfect-square -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/perfect-square --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/perfect-square help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/perfect-square --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/schurs-lemma -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/schurs-lemma --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/schurs-lemma help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/schurs-lemma --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/dominating-queens --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/dominating-queens --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/colored-matrix --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/colored-matrix --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/multi-bin-packing --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/multi-bin-packing --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/qcp --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/qcp --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crew -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crew --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crew help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crew --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golf -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golf --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golf help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golf --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/hamming -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/hamming --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/hamming help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/hamming --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/steiner --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/steiner --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/queen-armies -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/queen-armies --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/queen-armies help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/queen-armies --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/cartesian-heart --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/cartesian-heart --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium -h` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium --help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium help` got 0 exit code - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium -V` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium -v` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium --version` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium version` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium -h` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium --help` and found version 6.0.0 - ran `/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium help` and found version 6.0.0 - found 6.0.0 with grep in /nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0 - directory tree listing: https://gist.github.com/60d851cdba60c75727eb1fbe11634b62
|
Success on x86_64-linux (full log) Attempted: gecode Partial log (click to expand)
|
|
Success on x86_64-darwin (full log) Attempted: gecode Partial log (click to expand)
|
|
Success on aarch64-linux (full log) Attempted: gecode Partial log (click to expand)
|
Mic92
reviewed
Mar 18, 2018
| @@ -2,11 +2,11 @@ | |||
|
|
|||
| stdenv.mkDerivation rec { | |||
| name = "gecode-${version}"; | |||
| version = "3.7.3"; | |||
| version = "6.0.0"; | |||
There was a problem hiding this comment.
this package is exposed as gecode_3. I don't think we should upgrade this file.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:
/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/fzn-gecode --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/fzn-gecode --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/alpha -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/alpha --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/alpha helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/alpha --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bacp -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bacp --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bacp helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bacp --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bibd -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bibd --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bibd helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bibd --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/donald -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/donald --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/donald helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/donald --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/efpa -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/efpa --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/efpa helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/efpa --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/eq20 -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/eq20 --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/eq20 helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/eq20 --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golomb-ruler -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golomb-ruler --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golomb-ruler helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golomb-ruler --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/graph-color -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/graph-color --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/graph-color helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/graph-color --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/grocery -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/grocery --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/grocery helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/grocery --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/ind-set -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/ind-set --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/ind-set helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/ind-set --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/magic-sequence --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/magic-sequence --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/magic-square --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/magic-square --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/money -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/money --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/money helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/money --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/ortho-latin --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/ortho-latin --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/partition --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/partition --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/photo -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/photo --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/photo helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/photo --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/queens --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/queens --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sudoku -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sudoku --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sudoku helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sudoku --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/kakuro -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/kakuro --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/kakuro helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/kakuro --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/nonogram -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/nonogram --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/nonogram helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/nonogram --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/pentominoes -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/pentominoes --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/pentominoes helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/pentominoes --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crowded-chess --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crowded-chess --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/black-hole -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/black-hole --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/black-hole helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/black-hole --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/minesweeper -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/minesweeper --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/minesweeper helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/minesweeper --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/domino -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/domino --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/domino helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/domino --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/steel-mill --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/steel-mill --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sports-league --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sports-league --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/all-interval --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/all-interval --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/langford-number -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/langford-number --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/langford-number helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/langford-number --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/warehouses -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/warehouses --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/warehouses helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/warehouses --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/radiotherapy -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/radiotherapy --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/radiotherapy helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/radiotherapy --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/word-square --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/word-square --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crossword -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crossword --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crossword helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crossword --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/open-shop -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/open-shop --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/open-shop helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/open-shop --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/car-sequencing -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/car-sequencing --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/car-sequencing helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/car-sequencing --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sat --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/sat --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bin-packing --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/bin-packing --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/knights --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/knights --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/tsp -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/tsp --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/tsp helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/tsp --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/perfect-square -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/perfect-square --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/perfect-square helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/perfect-square --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/schurs-lemma -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/schurs-lemma --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/schurs-lemma helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/schurs-lemma --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/dominating-queens --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/dominating-queens --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/colored-matrix --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/colored-matrix --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/multi-bin-packing --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/multi-bin-packing --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/qcp --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/qcp --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crew -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crew --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crew helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/crew --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golf -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golf --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golf helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/golf --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/hamming -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/hamming --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/hamming helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/hamming --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/steiner --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/steiner --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/queen-armies -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/queen-armies --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/queen-armies helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/queen-armies --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/cartesian-heart --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/cartesian-heart --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium -hgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium --helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium helpgot 0 exit code/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium -Vand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium -vand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium --versionand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium versionand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium -hand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium --helpand found version 6.0.0/nix/store/2kgshwybim9v0n5b04yilg7jxd5pgqgb-gecode-6.0.0/bin/descartes-folium helpand found version 6.0.0cc @manveru for review