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: 2fec2de38922
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 805108e6cfb5
Choose a head ref
  • 4 commits
  • 1 file changed
  • 2 contributors

Commits on Jan 1, 2021

  1. opensmt: 20101017 -> 2.0.1

    freezeboy committed Jan 1, 2021
    Copy the full SHA
    9fd99b5 View commit details
    Browse the repository at this point in the history

Commits on Jan 14, 2021

  1. Copy the full SHA
    f2210b7 View commit details
    Browse the repository at this point in the history
  2. fix mis-merge

    7c6f434c committed Jan 14, 2021
    Copy the full SHA
    d714c53 View commit details
    Browse the repository at this point in the history
  3. Merge pull request #102421 from freezeboy/remove-opensmt

    opensmt: 20101017 -> 2.0.1
    7c6f434c committed Jan 14, 2021
    Copy the full SHA
    805108e View commit details
    Browse the repository at this point in the history