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: d9f66ea5ae7d
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: efdf4711d843
Choose a head ref
  • 4 commits
  • 1 file changed
  • 2 contributors

Commits on Jul 12, 2018

  1. yices: fix symlink to match version of package 

    To help avoid this happening again, derive the string to use
from the version directly instead of embedding it in installPhase.
    @dtzWill
    dtzWill committed Jul 12, 2018
    Configuration menu
    Copy the full SHA
    6ff8685 View commit details
    Browse the repository at this point in the history

  2. yices: simplify ln command

    @dtzWill
    dtzWill committed Jul 12, 2018
    Configuration menu
    Copy the full SHA
    237c8f4 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2018

  1. yices: use lib.splitString, not everyone has builtins.splitVersion

    @dtzWill
    dtzWill committed Jul 13, 2018
    Configuration menu
    Copy the full SHA
    946a65c View commit details
    Browse the repository at this point in the history

  2. Merge pull request #43445 from dtzWill/fix/yices-symlink 

    yices: fix symlink created to match version
    @dtzWill
    dtzWill committed Jul 13, 2018
    Configuration menu
    Copy the full SHA
    efdf471 View commit details
    Browse the repository at this point in the history