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: 4bfbcdbe817b
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: b58ada326aa6
Choose a head ref
  • 3 commits
  • 2 files changed
  • 2 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 13, 2019

  1. 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