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: efdeb1a0deb0
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 9943fd1a1daa
Choose a head ref
  • 15 commits
  • 20 files changed
  • 4 contributors

Commits on Apr 25, 2020

  1. Copy the full SHA
    229ef0e View commit details
    Browse the repository at this point in the history
  2. Copy the full SHA
    99fa064 View commit details
    Browse the repository at this point in the history
  3. Copy the full SHA
    781a927 View commit details
    Browse the repository at this point in the history
  4. Copy the full SHA
    36840c5 View commit details
    Browse the repository at this point in the history
  5. Copy the full SHA
    a519f22 View commit details
    Browse the repository at this point in the history
  6. Copy the full SHA
    6cbaa25 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2020

  1. agda: rework builder

    alexarice committed May 14, 2020
    Copy the full SHA
    d30e246 View commit details
    Browse the repository at this point in the history
  2. agda-prelude: update

    alexarice committed May 14, 2020
    Copy the full SHA
    c2814be View commit details
    Browse the repository at this point in the history
  3. Copy the full SHA
    6c1cded View commit details
    Browse the repository at this point in the history
  4. Copy the full SHA
    a7cd372 View commit details
    Browse the repository at this point in the history
  5. Copy the full SHA
    1175065 View commit details
    Browse the repository at this point in the history
  6. agda: Added test

    turion authored and alexarice committed May 14, 2020
    Copy the full SHA
    b78a5a0 View commit details
    Browse the repository at this point in the history
  7. iowa-stdlib: update homepage URL

    The old homepage URL, which was hosted inside the old SVN server, isn't publicly accessible anymore. Since the project has officially moved to github, it seems better to set the github repo as the homepage.
    kini authored and alexarice committed May 14, 2020
    Copy the full SHA
    43fb96e View commit details
    Browse the repository at this point in the history
  8. Copy the full SHA
    8ee4c36 View commit details
    Browse the repository at this point in the history
  9. Merge pull request #76653 from alexarice/agda-rework

    Agda rework
    veprbl committed May 14, 2020
    Copy the full SHA
    9943fd1 View commit details
    Browse the repository at this point in the history