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

Commits on Sep 24, 2019

  1. tamarin-prover: mark as broken because upstream is broken

    Kierán Meinhardt committed Sep 24, 2019
    Copy the full SHA
    815d940 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2019

  1. Merge pull request #69356 from kmein/tamarin-prover

    tamarin-prover: mark as broken because upstream is broken
    globin committed Sep 25, 2019
    Copy the full SHA
    74f63ca View commit details
    Browse the repository at this point in the history