Commit f82d9b11 authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

alt-ergo: 2.6.1 → 2.6.2

parent e72e2ff5

pkgs/by-name/al/alt-ergo/package.nix

+2 −2
Original line number Diff line number Diff line
@@ -8,11 +8,11 @@ 


let

  pname = "alt-ergo";

  version = "2.6.1";

  version = "2.6.2";



  src = fetchurl {

    url = "https://github.com/OCamlPro/alt-ergo/releases/download/v${version}/alt-ergo-${version}.tbz";

    hash = "sha256-31YEWjr3n7z70d7q8JAS1bw5C0wiI+HZwlwRwwHZ7ro=";

    hash = "sha256-OeLJEop9HonzMuMaJxbzWfO54akl/oHxH6SnSbXSTYI=";

  };

in