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: 5762a5771b57
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 9bf92a16407f
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Aug 13, 2018

  1. coq: default to version 8.8

    @vbgl
    vbgl committed Aug 13, 2018
    Copy the full SHA
    4f0db5d View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2018

  1. Merge pull request #44997 from vbgl/default-coq-8.8 

    coq: default to version 8.8
    @Mic92
    Mic92 committed Aug 14, 2018
    Copy the full SHA
    9bf92a1 View commit details
    Browse the repository at this point in the history