Merge pull request #317469 from r-ryantm/auto-update/gambit-project

gambit-project: 16.1.1 -> 16.2.0
This commit is contained in:
Weijia Wang 2024-06-08 22:44:35 +02:00 committed by GitHub
commit 07426bcd70
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -9,13 +9,13 @@
stdenv.mkDerivation (finalAttrs: {
pname = "gambit-project";
version = "16.1.1";
version = "16.2.0";
src = fetchFromGitHub {
owner = "gambitproject";
repo = "gambit";
rev = "v${finalAttrs.version}";
hash = "sha256-ElPzJDQ1q+i1OyliychSUA9pT6yGSwjn/sKV0JX5wrQ=";
hash = "sha256-OuI2DA/5CLgHqcHwOGUE9IdrnyjlGKy8B7tWueUfUtg=";
};
nativeBuildInputs =