Merge pull request #186241 from r-ryantm/auto-update/agi

agi: 3.1.0-dev-20220713 -> 3.1.0-dev-20220811
This commit is contained in:
Ivv 2022-08-14 15:27:55 +02:00 committed by GitHub
commit 09e11e8c2e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -14,11 +14,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "agi"; pname = "agi";
version = "3.1.0-dev-20220713"; version = "3.1.0-dev-20220811";
src = fetchzip { src = fetchzip {
url = "https://github.com/google/agi-dev-releases/releases/download/v${version}/agi-${version}-linux.zip"; url = "https://github.com/google/agi-dev-releases/releases/download/v${version}/agi-${version}-linux.zip";
sha256 = "sha256-ch3crmvueXk4xJ4LjG4MrYkaCTd+41INAz+/ClI+Mpw="; sha256 = "sha256-7lxcyIX3imqsU15HQ2Xc0S8ki6LWMlkM4fdTOCuCti8=";
}; };
nativeBuildInputs = [ nativeBuildInputs = [