diff options
author | R. Ryantm <ryantm-bot@ryantm.com> | 2023-07-27 00:45:15 +0000 |
---|---|---|
committer | R. Ryantm <ryantm-bot@ryantm.com> | 2023-07-27 00:45:15 +0000 |
commit | 9232c1ce1528e97f4a3e27610033c569a27c9456 (patch) | |
tree | 3eb31fc08bd27bdb483228ad4b4841528574266b /pkgs/development/compilers/ciao | |
parent | 78df3591ec67310b8cc4b753e1496999da2678cf (diff) |
ciao: 1.22.0-m1 -> 1.22.0-m7
Diffstat (limited to 'pkgs/development/compilers/ciao')
-rw-r--r-- | pkgs/development/compilers/ciao/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/ciao/default.nix b/pkgs/development/compilers/ciao/default.nix index 171419a39e80..bc85f6e1009f 100644 --- a/pkgs/development/compilers/ciao/default.nix +++ b/pkgs/development/compilers/ciao/default.nix @@ -2,12 +2,12 @@ stdenv.mkDerivation rec { pname = "ciao"; - version = "1.22.0-m1"; + version = "1.22.0-m7"; src = fetchFromGitHub { owner = "ciao-lang"; repo = "ciao"; rev = "v${version}"; - sha256 = "sha256-p7QNSsDI8hVMPPfkX3PNjJo01hsPGKZ7jMR9Kmj2qxY="; + sha256 = "sha256-5LX+NVDAtdffQeLTD4Camp5aNm0K3Cwmavh7OF5XcZU="; }; configurePhase = '' |