Bump agda-sets

Author: carlostome

build-tools/nix/sources.json

@@ -5,10 +5,10 @@
         "homepage": "https://input-output-hk.github.io/agda-sets/",
         "owner": "input-output-hk",
         "repo": "agda-sets",
-        "rev": "2819a371e30e5d462f0a99642afde5b10f55d3ef",
-        "sha256": "16qkgaw0q34zrlx6viz4nb7p9vcmjp623qygis4bchcp0f4c325y",
+        "rev": "de39823e91d845232bbf22058565d0553f5da2ac",
+        "sha256": "1vhxwp7gq08v58zhh25252h4vrirdh0skvf2cdlgyxpafan0gv1g",
         "type": "tarball",
-        "url": "https://github.com/input-output-hk/agda-sets/archive/2819a371e30e5d462f0a99642afde5b10f55d3ef.tar.gz",
+        "url": "https://github.com/input-output-hk/agda-sets/archive/de39823e91d845232bbf22058565d0553f5da2ac.tar.gz",
         "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
     },
     "agda-stdlib": {