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: 26dbde5dbcaf
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: e59dcf8ccec4
Choose a head ref
  • 5 commits
  • 2 files changed
  • 2 contributors

Commits on Jan 22, 2020

  1. add jpas to maintainers

    @jpas
    jpas committed Jan 22, 2020
    Copy the full SHA
    5a19bf0 View commit details
    Browse the repository at this point in the history

  2. coqPackages.CoLoR 1.4.0 -> 1.6.0 

    The package is now developed on GitHub, so fetchurl was replace with
fetchFromGithub.
    @jpas
    jpas committed Jan 22, 2020
    Copy the full SHA
    4339f58 View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2020

  1. Keeps older CoLoR available for older Coq

    @jpas
    jpas committed Jan 25, 2020
    Copy the full SHA
    bebbc48 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2020

  1. coqPackages.CoLoR support for Coq 8.10

    @jpas
    jpas committed Jan 26, 2020
    Copy the full SHA
    b25a192 View commit details
    Browse the repository at this point in the history

Commits on Jan 27, 2020

  1. Merge pull request #78253 from jpas/CoLoR-1.6.0 

    coqPackages.CoLoR: 1.4.0 -> 1.7.0
    @vbgl
    vbgl committed Jan 27, 2020
    Copy the full SHA
    e59dcf8 View commit details
    Browse the repository at this point in the history