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: 5051c68c73d6
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 4b9985c66853
Choose a head ref
  • 13 commits
  • 83 files changed
  • 1 contributor

Commits on Jul 2, 2018

  1. idrisPackages: install docs

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

  2. idris: Clean up package builder

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

  3. idrisPackages: Clean up packages

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

  4. idrisPackages.descncrunch: Mark as broken

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

  5. idrisPackages.{sdl,sdl2}: Mark as broken

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

  6. idrisPackages.setoids: 2017-03-13 -> 2018-06-18, fix build

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

  7. idrisPackages.tparsec: 2017-12-12 -> 2018-06-26, fix build

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

  8. idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix build

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

  9. idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix build

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

  10. idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix build

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

  11. idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix build

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

Commits on Jul 5, 2018

  1. build-idris-package: includePreludeBase -> noPrelude, noBase 

    Resembles idris --noprelude and --nobasepkgs arguments
    @infinisil
    infinisil committed Jul 5, 2018
    Configuration menu
    Copy the full SHA
    5f620d0 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2018

  1. Merge pull request #42861 from Infinisil/fix/idris-forks 

    Idris packages clean ups and updates
    @infinisil
    infinisil committed Jul 8, 2018
    Configuration menu
    Copy the full SHA
    4b9985c View commit details
    Browse the repository at this point in the history