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: ddfa22167019
Choose a base ref
...
head repository: NixOS/nixpkgs-channels
compare: c8137fc22994
Choose a head ref
  • 5 commits
  • 6 files changed
  • 3 contributors

Commits on Aug 23, 2020

  1. pythonPackages.pandas: fix build with clang (#95992) 

    Co-authored-by: Dmitry Kalinkin <dmitry.kalinkin@gmail.com>
    @tobim @veprbl
    tobim and veprbl committed Aug 23, 2020
    Copy the full SHA
    5be356a View commit details
    Browse the repository at this point in the history

  2. ocamlPackages.ocamlgraph: make GTK support optional 

    When `gtkSupport` is true, additional components are built:

 - a module to render a graph on a GTK2 canvas
 - two GTK-based programs: a graph viewer and a graph editor.

The default is to have `gtkSupport` as it is used in e.g., Frama-C.
    @vbgl
    vbgl committed Aug 23, 2020
    Copy the full SHA
    e3c2934 View commit details
    Browse the repository at this point in the history

  3. coqPackages.coqprime: enable for Coq 8.11

    @vbgl
    vbgl committed Aug 23, 2020
    Copy the full SHA
    1875d9b View commit details
    Browse the repository at this point in the history

  4. compcert: use Coq 8.10

    @vbgl
    vbgl committed Aug 23, 2020
    Copy the full SHA
    36cff63 View commit details
    Browse the repository at this point in the history

  5. coq: default to version 8.11

    @vbgl
    vbgl committed Aug 23, 2020
    Copy the full SHA
    c8137fc View commit details
    Browse the repository at this point in the history