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: 0e76e1320c94
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 759c26b05b5f
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Nov 2, 2018

  1. yices: 2.6.0 -> 2.6.1

    @kquick
    kquick committed Nov 2, 2018
    Copy the full SHA
    411c665 View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2018

  1. Merge pull request #49660 from kquick/yices-2.6.1 

    yices: 2.6.0 -> 2.6.1
    @markuskowa
    markuskowa committed Nov 3, 2018
    Copy the full SHA
    759c26b View commit details
    Browse the repository at this point in the history