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: 74f63cace8c7
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 0092f2eb6ac9
Choose a head ref
  • 3 commits
  • 2 files changed
  • 2 contributors

Commits on Sep 24, 2019

  1. idrisPackages.heyting-algebra: mark as broken 

    The functionality provided by this package has been added to the Idris contrib library (module `Interfaces.Verified`).
Therefore identifiers cannot be disambiguated anymore.
    Kierán Meinhardt committed Sep 24, 2019
    Copy the full SHA
    7df8575 View commit details
    Browse the repository at this point in the history

  2. idrisPackages.heyting-algebra: remove

    Kierán Meinhardt committed Sep 24, 2019
    Copy the full SHA
    8eb0413 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2019

  1. Merge pull request #69358 from kmein/idrisPackages.heyting-algebra 

    idrisPackages.heyting-algebra: remove because superseded
    @globin
    globin committed Sep 25, 2019
    Copy the full SHA
    0092f2e View commit details
    Browse the repository at this point in the history