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: a2d7574ebeaf
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: c091e93b997f
Choose a head ref
  • 4 commits
  • 17 files changed
  • 2 contributors

Commits on Oct 17, 2018

  1. coq: add ocamlPackages in passthru 

    We might need OCaml packages that are not the one Coq is depending on
but they still need to come from the same package set (same OCaml version).
    @Zimmi48
    Zimmi48 committed Oct 17, 2018
    Copy the full SHA
    fa12476 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2018

  1. coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, … 

    …etc.
    @Zimmi48
    Zimmi48 committed Oct 19, 2018
    Copy the full SHA
    8c399bd View commit details
    Browse the repository at this point in the history

  2. coqPackages: update documentation to mention coq.ocamlPackages attribute

    @Zimmi48
    Zimmi48 committed Oct 19, 2018
    Copy the full SHA
    668c19a View commit details
    Browse the repository at this point in the history

  3. Merge pull request #48617 from Zimmi48/passthru-ocamlPackages-in-coq-… 

    …package

coq: add ocamlPackages in passthru
    @vbgl
    vbgl committed Oct 19, 2018
    Copy the full SHA
    c091e93 View commit details
    Browse the repository at this point in the history