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: 9241145dfe39
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 7250104c7b15
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Apr 18, 2019

  1. AgdaStdlib: 0.17 -> 1.0

    @yrashk
    yrashk committed Apr 18, 2019
    Copy the full SHA
    7ad178d View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2019

  1. Merge pull request #59819 from yrashk/agda-stdlib-1.0 

    AgdaStdlib: 0.17 -> 1.0
    @Fuuzetsu
    Fuuzetsu committed Apr 20, 2019
    Copy the full SHA
    7250104 View commit details
    Browse the repository at this point in the history