diff options
Diffstat (limited to 'extra.old.json')
-rw-r--r-- | extra.old.json | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/extra.old.json b/extra.old.json index 8386c5e..ed716c5 100644 --- a/extra.old.json +++ b/extra.old.json @@ -490,7 +490,9 @@ "version": "v1.8.2" }, "geonkick": { - "version": "v3.4.0" + "version": "v3.5.0", + "gitref": "refs/tags/v3.5.0", + "revision": "1a4f1dee284e8e63df82ece74192e36f38d2c671" }, "ghc-filesystem": { "version": "v1.5.14" |