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: fb02974b9776
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 19dfc1b01149
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Jun 17, 2020

  1. agda: fix manual build 

        /build/doc/manual-full.xml:12764:35: error: ID "build-phase" has already been defined
    /build/doc/manual-full.xml:9029:33: error: first occurrence of ID "build-phase"
    @cole-h
    cole-h committed Jun 17, 2020
    Copy the full SHA
    5baa754 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #90689 from cole-h/fix-manual 

    agda: fix manual build -- blocks nixpkgs-unstable
    @Ma27
    Ma27 committed Jun 17, 2020
    Copy the full SHA
    19dfc1b View commit details
    Browse the repository at this point in the history