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: 8b0fea2154bd
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 9a32dafd05e5
Choose a head ref
  • 4 commits
  • 4 files changed
  • 2 contributors

Commits on Jul 12, 2018

  1. idris: Remove unneeded overrides 

    - The gmp issue has long been fixed and closed
- The preBuild thing was never used afaik, it works no problem without
it, especially since checks don't run (To get checks to work we'd have
to compile the libraries into idris, which are currently nicely
separated)
- The dependencies overrides aren't needed anymore
    @infinisil
    infinisil committed Jul 12, 2018
    Configuration menu
    Copy the full SHA
    d767c0c View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2018

  1. idrisPackages: build with hydra

    @infinisil
    infinisil committed Jul 16, 2018
    Configuration menu
    Copy the full SHA
    cb12f60 View commit details
    Browse the repository at this point in the history

  2. idris: prefix package derivation names with "idris-"

    @infinisil
    infinisil committed Jul 16, 2018
    Configuration menu
    Copy the full SHA
    1d94e4c View commit details
    Browse the repository at this point in the history

  3. Merge pull request #43444 from Infinisil/idris-cleanup 

    idris: Recurse into attrs, fix build and remove unneeded overrides
    @peti
    peti committed Jul 16, 2018
    Configuration menu
    Copy the full SHA
    9a32daf View commit details
    Browse the repository at this point in the history