Skip to content
This repository has been archived by the owner on Apr 12, 2021. It is now read-only.
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-channels
base: bfb5209dc599
Choose a base ref
...
head repository: NixOS/nixpkgs-channels
compare: b58ada326aa6
Choose a head ref
  • 8 commits
  • 5 files changed
  • 5 contributors

Commits on Jun 6, 2019

  1. coqPackages.QuickChick: init at 1.1.0 for Coq 8.9 

    Removes QuickChick for Coq 8.7 as it is broken
(probably due to a too recent ssreflect).
    @vbgl
    vbgl committed Jun 6, 2019
    Copy the full SHA
    281b265 View commit details
    Browse the repository at this point in the history

  2. coqPackages.simple-io: 1.0.0 -> 1.2.0

    @vbgl
    vbgl committed Jun 6, 2019
    Copy the full SHA
    7af3554 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2019

  1. jost: init at 3.3

    @ar1a
    ar1a committed Jun 10, 2019
    Copy the full SHA
    8e58a54 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2019

  1. bazel-watcher: 0.9.1 -> 0.10.3

    @kalbasit
    kalbasit committed Jun 13, 2019
    Copy the full SHA
    389a82c View commit details
    Browse the repository at this point in the history

  2. bazel-watcher: disable nix hacks on bazel

    @kalbasit
    kalbasit committed Jun 13, 2019
    Copy the full SHA
    222dca9 View commit details
    Browse the repository at this point in the history

  3. bazel-watcher: 0.9.1 -> 0.10.3 (#63054) 

    bazel-watcher: 0.9.1 -> 0.10.3
    @kalbasit
    kalbasit committed Jun 13, 2019
    Copy the full SHA
    5e42394 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #62939 from ar1a/master 

    jost: init at 3.3
    @etu
    etu committed Jun 13, 2019
    Copy the full SHA
    4bfbcdb View commit details
    Browse the repository at this point in the history

  5. Merge pull request #62776 from vbgl/coq-simple-io-1.2.0 

    [coq] simple-io: 1.0.0 -> 1.2.0; QuickChick: init at 1.1.0 for Coq 8.9
    @vbgl
    vbgl committed Jun 13, 2019
    Copy the full SHA
    b58ada3 View commit details
    Browse the repository at this point in the history