Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
base: 066614a526a5
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 3e62cdd72e2a
Choose a head ref
  • 4 commits
  • 2 files changed
  • 2 contributors

Commits on Dec 1, 2018

  1. gecode: 6.0.0 -> 6.1.0 

    https://github.com/Gecode/gecode/releases/tag/release-6.1.0
    @dtzWill
    dtzWill committed Dec 1, 2018
    Copy the full SHA
    1151a01 View commit details
    Browse the repository at this point in the history

  2. gecode: more deps, build w/gist support but make optional 

    Also rename "gecode_4" attribute since this is version 6?
    @dtzWill
    dtzWill committed Dec 1, 2018
    Copy the full SHA
    303e4d7 View commit details
    Browse the repository at this point in the history

  3. gecode: remove maintainer per request

    @dtzWill
    dtzWill committed Dec 1, 2018
    Copy the full SHA
    f00b8b0 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2018

  1. Merge pull request #51340 from dtzWill/update/gecode-6.1 

    gecode: 6.0.0 -> 6.1.0, deps, Gist support
    @dtzWill
    dtzWill committed Dec 15, 2018
    Copy the full SHA
    3e62cdd View commit details
    Browse the repository at this point in the history