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: 043c667f319b
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: a3ae8a4fcfa8
Choose a head ref
  • 3 commits
  • 2 files changed
  • 2 contributors

Commits on Nov 29, 2020

  1. btor2tools: fix install_name on darwin

    @arcz
    arcz committed Nov 29, 2020
    Copy the full SHA
    38e6f15 View commit details
    Browse the repository at this point in the history

  2. boolector: fix darwin build

    @arcz
    arcz committed Nov 29, 2020
    Copy the full SHA
    da3c0ca View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2020

  1. Merge pull request #100750 from arcz/boolector 

    boolector: enable darwin build
    @thoughtpolice
    thoughtpolice committed Dec 2, 2020
    Copy the full SHA
    a3ae8a4 View commit details
    Browse the repository at this point in the history