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
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 08dd6779f43f
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: c976806322f3
Choose a head ref
  • 9 commits
  • 4 files changed
  • 1 contributor

Commits on May 27, 2017

  1. Verified

    This commit was signed with the committer’s verified signature.
    ijjk JJ Kasper
    Copy the full SHA
    bf09054 View commit details
  2. liquid-fixpoint: disable shared executables to fix the test suite

    The test suite runs "fixpoint" in an environment where the required library
    search paths aren't set up properly.
    peti committed May 27, 2017

    Verified

    This commit was signed with the committer’s verified signature.
    ijjk JJ Kasper
    Copy the full SHA
    2c2965c View commit details
  3. Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
    Copy the full SHA
    2670838 View commit details
  4. Copy the full SHA
    b7e45d1 View commit details
  5. Copy the full SHA
    51b7b5f View commit details
  6. hackage-packages.nix: automatic Haskell package set update

    This update was generated by hackage2nix v2.2.1-7-g2ed2e10 from Hackage revision
    commercialhaskell/all-cabal-hashes@600bbf8.
    peti committed May 27, 2017
    Copy the full SHA
    dfe23fc View commit details
  7. liquidhaskell: fix build

    peti committed May 27, 2017
    Copy the full SHA
    d67214d View commit details
  8. liquidhaskell: try fix test suite

    This almost succeeded, but some minor issues remain.
    peti committed May 27, 2017
    Copy the full SHA
    33b4a68 View commit details
  9. Copy the full SHA
    c976806 View commit details
Loading