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
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: aef0e13d2680
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: bf56c1569572
Choose a head ref
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on Oct 9, 2019

  1. hol_light: 2019-03-27 -> 2019-10-06

    @maggesi @vbgl
    maggesi authored and vbgl committed Oct 9, 2019
    Copy the full SHA
    bf56c15 View commit details
Showing with 3 additions and 3 deletions.
  1. +3 −3 pkgs/applications/science/logic/hol_light/default.nix
6 changes: 3 additions & 3 deletions pkgs/applications/science/logic/hol_light/default.nix
View file
Original file line number Diff line number Diff line change
@@ -21,13 +21,13 @@ let
in

stdenv.mkDerivation {
name = "hol_light-2019-03-27";
name = "hol_light-2019-10-06";

src = fetchFromGitHub {
owner = "jrh13";
repo = "hol-light";
rev = "a2b487b38d9da47350f1b4316e34a8fa4cf7a40a";
sha256 = "1qlidl15qi8w4si8wxcmj8yg2srsb0q4k1ad9yd91sgx9h9aq8fk";
rev = "5c91b2ded8a66db571824ecfc18b4536c103b23e";
sha256 = "0sxsk8z08ba0q5aixdyczcx5l29lb51ba4ip3d2fry7y604kjsx6";
};

buildInputs = [ ocaml camlp5 ];