diff options
| author | GitHub <noreply@github.com> | 2022-07-24 10:01:18 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-07-24 12:07:44 +0200 |
| commit | 5e894bdb85795f1bc1d84701fc58fc954c22edd5 (patch) | |
| tree | 7bb3f4931d68d79ec07f591bbad791d5305829e3 | |
| parent | a60961af9771cc26a859f2d8d6fc065af12ce96a (diff) | |
Update lockfile.json
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index 0a8ac4f7..d76e7d39 100644 --- a/lockfile.json +++ b/lockfile.json @@ -39,7 +39,7 @@ "revision": "a03f1d2d1dfbf6f8e0fdca5f9ff030228241eb57" }, "cuda": { - "revision": "791d9f9e30958a5f951875342ec8b6f737b39533" + "revision": "bc48d8eaf5a145922a1bed0a69dca1342a83c12c" }, "d": { "revision": "c2fbf21bd3aa45495fe13247e040ad5815250032" |