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: cbe44821c3ee
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 15d98507ee48
Choose a head ref
  • 5 commits
  • 2 files changed
  • 3 contributors

Commits on May 7, 2020

  1. isabelle: 2018 -> 2020

    @Sohalt
    Sohalt committed May 7, 2020
    Copy the full SHA
    de81e8b View commit details
    Browse the repository at this point in the history

Commits on May 9, 2020

  1. use https

    @Sohalt
    Sohalt committed May 9, 2020
    Copy the full SHA
    9ec71eb View commit details
    Browse the repository at this point in the history

  2. Correct license

    @Sohalt
    Sohalt committed May 9, 2020
    Copy the full SHA
    7bf616d View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2020

  1. Fixup 

    Co-authored-by: puzzlewolf <23097564+puzzlewolf@users.noreply.github.com>
    @Sohalt @puzzlewolf
    Sohalt and puzzlewolf committed Jun 5, 2020
    Copy the full SHA
    877af72 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2020

  1. Merge pull request #87224 from Sohalt/isabelle 

    isabelle: 2018 -> 2020
    @Lassulus
    Lassulus committed Aug 23, 2020
    Copy the full SHA
    15d9850 View commit details
    Browse the repository at this point in the history