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: 8d8277e00091
Choose a base ref
...
head repository: NixOS/nixpkgs-channels
compare: 37082f631a8c
Choose a head ref
  • 6 commits
  • 4 files changed
  • 3 contributors

Commits on Oct 16, 2019

  1. coq_8_10: do not build CoqIDE on darwin 

    See https://gitlab.gnome.org/GNOME/gtk/merge_requests/1004
for details about the GTK3 issue
    @vbgl
    vbgl committed Oct 16, 2019
    Copy the full SHA
    bb75840 View commit details
    Browse the repository at this point in the history

  2. coq_8_10: 8.10+β2 → 8.10+β3 

    (cherry picked from commit 8288301)
    @vbgl
    vbgl committed Oct 16, 2019
    Copy the full SHA
    2e37793 View commit details
    Browse the repository at this point in the history

  3. coq_8_10: do not take “camlp5” as input 

    (cherry picked from commit 1292f49)
    @vbgl
    vbgl committed Oct 16, 2019
    Copy the full SHA
    090dccf View commit details
    Browse the repository at this point in the history

  4. elpi: 1.6.0 -> 1.7.0 

    (cherry picked from commit c70d7fa)
    @maggesi @vbgl
    maggesi authored and vbgl committed Oct 16, 2019
    Copy the full SHA
    46b2ba1 View commit details
    Browse the repository at this point in the history

  5. coq_8_10: 8.10+β3 → 8.10.0 

    coqPackages.coq-elpi: master → 1.1.0

(cherry picked from commit b4db381)
    @vbgl
    vbgl committed Oct 16, 2019
    Copy the full SHA
    0da40a1 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2019

  1. Merge pull request #71214 from vbgl/coq-8.10.0+release-19.09 

    [19.09] Coq 8.10.0
    @vbgl
    vbgl committed Oct 23, 2019
    Copy the full SHA
    37082f6 View commit details
    Browse the repository at this point in the history