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: 2d7946517324
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: fcfdeedab983
Choose a head ref
  • 4 commits
  • 2 files changed
  • 2 contributors

Commits on Dec 1, 2018

  1. minizincide: init at 2.2.3

    * wrap so minizinc on PATH
      (to ensure it's avail/found)
    dtzWill committed Dec 1, 2018
    Copy the full SHA
    0e4c444 View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2018

  1. Copy the full SHA
    3d5ee86 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2019

  1. minizincide: minor touchups per reviewer suggestion

    (sourceRoot needed a "source/" prefix, FWIW)
    dtzWill committed Jan 5, 2019
    Copy the full SHA
    5adde64 View commit details
    Browse the repository at this point in the history
  2. Merge pull request #51339 from dtzWill/feature/minizincide

    minizincide: init at 2.2.3
    dtzWill committed Jan 5, 2019
    Copy the full SHA
    fcfdeed View commit details
    Browse the repository at this point in the history