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/cabal2nix
base: cb435795da20
Choose a base ref
...
head repository: NixOS/cabal2nix
compare: ff322215f790
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Apr 21, 2020

  1. [ cleanup ] don't build Agda builtins again 

    Since agda/agda@3780203, Agda's Setup.hs has contained the instructions for building the builtin modules. Thus, we do not need to do it again.
    @laMudri
    laMudri committed Apr 21, 2020
    Copy the full SHA
    3d6b6be View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2020

  1. Merge pull request #452 from laMudri/Agda-2.6 

    [ cleanup ] don't build Agda builtins again
    @peti
    peti committed Jun 5, 2020
    Copy the full SHA
    ff32221 View commit details
    Browse the repository at this point in the history