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: 5ee01252681c
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 308456a7a7c3
Choose a head ref
  • 2 commits
  • 2 files changed
  • 1 contributor

Commits on Mar 12, 2019

  1. isabelle: 2017 -> 2018

    @gebner
    gebner committed Mar 12, 2019
    Copy the full SHA
    c7f43de View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2019

  1. Merge pull request #57567 from gebner/isabelle-2018 

    isabelle: 2017 -> 2018
    @gebner
    gebner committed Mar 14, 2019
    Copy the full SHA
    308456a View commit details
    Browse the repository at this point in the history