Merge pull request #180637 from r-ryantm/auto-update/ciao

ciao: 1.21.0-m1 -> 1.22.0-m1
This commit is contained in:
Christian Kögler 2022-10-16 20:23:22 +02:00 committed by GitHub
commit 210a84c968
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,12 +2,12 @@
stdenv.mkDerivation rec {
pname = "ciao";
version = "1.21.0-m1";
version = "1.22.0-m1";
src = fetchFromGitHub {
owner = "ciao-lang";
repo = "ciao";
rev = "v${version}";
sha256 = "sha256-o9EQS7KsoTg458Uw+1shgKE6NlZO495XE/rLq6/1S4g=";
sha256 = "sha256-p7QNSsDI8hVMPPfkX3PNjJo01hsPGKZ7jMR9Kmj2qxY=";
};
configurePhase = ''