Commit 76614a7c authored by R. RyanTM's avatar R. RyanTM Committed by Vincent Laporte
Browse files

alt-ergo: 2.6.0 -> 2.6.1

parent 6ad6fbd6

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.0";

  version = "2.6.1";



  src = fetchurl {

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

    hash = "sha256-EmkxGvJSeKRmiSuoeMyIi6WfF39T3QPxKixiOwP8834=";

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

  };

in