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: 5399a3a53017
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 9aa60e6b9b58
Choose a head ref
  • 2 commits
  • 2 files changed
  • 2 contributors

Commits on May 23, 2019

  1. updating packages coqPackages.bignums and coqPackages.equations

    @CohenCyril
    CohenCyril committed May 23, 2019
    Copy the full SHA
    c96ef6f View commit details
    Browse the repository at this point in the history

Commits on May 24, 2019

  1. Merge pull request #61948 from CohenCyril/bignums_equations_update 

     coqPackages: fix bignums and equations
    @infinisil
    infinisil committed May 24, 2019
    Copy the full SHA
    9aa60e6 View commit details
    Browse the repository at this point in the history