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: 3c3a377e7fd8
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 8d3c8b9aef16
Choose a head ref
  • 2 commits
  • 2 files changed
  • 1 contributor

Commits on Sep 25, 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.

(cherry picked from commit 7df8575)
    @globin
    Kierán Meinhardt authored and globin committed Sep 25, 2019
    Copy the full SHA
    bb46e0f View commit details
    Browse the repository at this point in the history

  2. idrisPackages.heyting-algebra: remove 

    (cherry picked from commit 8eb0413)
    @globin
    Kierán Meinhardt authored and globin committed Sep 25, 2019
    Copy the full SHA
    8d3c8b9 View commit details
    Browse the repository at this point in the history