ciao: 1.20.0 -> 1.21.0-m1

main
R. Ryantm 2 years ago
parent b7deb4cf75
commit 5d304d0098
  1. 4
      pkgs/development/compilers/ciao/default.nix

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

Loading…
Cancel
Save