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: 00dc9ff545e6
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 80677f372f00
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Jan 2, 2021

  1. idris2: 0.2.1 -> 0.2.2

    @jumper149
    jumper149 committed Jan 2, 2021
    Copy the full SHA
    d273a89 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2021

  1. Merge pull request #108266 from jumper149/master 

    idris2: 0.2.1 -> 0.2.2
    @SuperSandro2000
    SuperSandro2000 committed Jan 4, 2021
    Copy the full SHA
    80677f3 View commit details
    Browse the repository at this point in the history