diff options
author | R. Ryantm <ryantm-bot@ryantm.com> | 2024-03-06 03:41:36 +0000 |
---|---|---|
committer | R. Ryantm <ryantm-bot@ryantm.com> | 2024-03-06 03:41:36 +0000 |
commit | 3950337cb954e9e36ab8b030d022dfa82ebe5c4a (patch) | |
tree | 319479e18e53c0ea24b21643414ef4bfa04b2c54 /pkgs/development/compilers/ciao | |
parent | 5706443baf9ce6a4cdb09f0c8463429c0549a9df (diff) |
ciao: 1.22.0-m7 -> 1.23.0-m1
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 bc85f6e1009f..98c26b3e9a08 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-m7"; + version = "1.23.0-m1"; src = fetchFromGitHub { owner = "ciao-lang"; repo = "ciao"; rev = "v${version}"; - sha256 = "sha256-5LX+NVDAtdffQeLTD4Camp5aNm0K3Cwmavh7OF5XcZU="; + sha256 = "sha256-JMHln0nYveEEfEr4AMyrEL9KlCDiqV53BWRNMUL8nN0="; }; configurePhase = '' |