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: e5229c63ad77
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 635ac15845b3
Choose a head ref
  • 4 commits
  • 3 files changed
  • 2 contributors

Commits on Jan 25, 2017

  1. coq: merge files 8.5.nix and 8.6.nix into default.nix

    @vbgl
    vbgl committed Jan 25, 2017
    Configuration menu
    Copy the full SHA
    a30e8db View commit details
    Browse the repository at this point in the history

  2. coq: minor refactoring

    @vbgl
    vbgl committed Jan 25, 2017
    Configuration menu
    Copy the full SHA
    9b949be View commit details
    Browse the repository at this point in the history

  3. Coq: propagates the findlib package 

    So that Coq libraries that need it can easyly use it
    @vbgl
    vbgl committed Jan 25, 2017
    Configuration menu
    Copy the full SHA
    798a871 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #21879 from vbgl/coq-clean 

    Coq: minor refactoring
    @vbgl
    vbgl committed Jan 25, 2017
    Configuration menu
    Copy the full SHA
    635ac15 View commit details
    Browse the repository at this point in the history