Update manifests

thomashoneyman · Sep 12, 2023 · e7dff1a · e7dff1a
1 parent 63dc7a0
commit e7dff1a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/manifests/named.json b/manifests/named.json
@@ -5,6 +5,6 @@
   "spago-unstable": "spago-0_93_9",
   "purs-tidy-stable": "purs-tidy-0_10_0",
   "purs-tidy-unstable": "purs-tidy-0_10_0",
-  "purs-backend-es-stable": "purs-backend-es-1_4_1",
-  "purs-backend-es-unstable": "purs-backend-es-1_4_1"
+  "purs-backend-es-stable": "purs-backend-es-1_4_2",
+  "purs-backend-es-unstable": "purs-backend-es-1_4_2"
 }
diff --git a/manifests/purs-backend-es.json b/manifests/purs-backend-es.json
@@ -14,5 +14,9 @@
   "1.4.1": {
     "hash": "sha256-yOgevilMg+JYPZ1/Y9hWJoSA3yIZqnX0eVE2VNnZQgk=",
     "url": "https://registry.npmjs.org/purs-backend-es/-/purs-backend-es-1.4.1.tgz"
+  },
+  "1.4.2": {
+    "hash": "sha256-oEkAUq7VFz2gB5r124ssu4H/zu2g6ydrArV3Nz584Do=",
+    "url": "https://registry.npmjs.org/purs-backend-es/-/purs-backend-es-1.4.2.tgz"
   }
 }