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: 8a2389e4a1a5
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 361d64de0256
Choose a head ref
  • 3 commits
  • 1 file changed
  • 2 contributors

Commits on Jan 5, 2019

  1. cryptominisat: 5.0.1 -> 5.6.6

    Mic92 committed Jan 5, 2019
    Copy the full SHA
    4a4d1d6 View commit details
    Browse the repository at this point in the history
  2. Copy the full SHA
    37fe593 View commit details
    Browse the repository at this point in the history
  3. Merge pull request #53398 from Mic92/cryptominisat

    cryptominisat: 5.0.1 -> 5.6.6
    xeji committed Jan 5, 2019
    Copy the full SHA
    361d64d View commit details
    Browse the repository at this point in the history