Skip to content

Commit

Permalink
Update to the 47.10.0 package set.
Browse files Browse the repository at this point in the history
  • Loading branch information
pacchettibotti committed Dec 28, 2023
1 parent 9a9f7f1 commit a031bcb
Show file tree
Hide file tree
Showing 3 changed files with 25 additions and 1 deletion.
2 changes: 1 addition & 1 deletion latest-compatible-sets.json
Original file line number Diff line number Diff line change
Expand Up @@ -29,5 +29,5 @@
"0.15.9": "psc-0.15.9-20230718",
"0.15.10": "psc-0.15.10-20231023",
"0.15.12": "psc-0.15.12-20231123",
"0.15.13": "psc-0.15.13-20231227"
"0.15.13": "psc-0.15.13-20231228"
}
12 changes: 12 additions & 0 deletions packages.json
Original file line number Diff line number Diff line change
Expand Up @@ -6842,5 +6842,17 @@
],
"repo": "https://github.com/gbagan/purescript-z3.git",
"version": "v0.0.2"
},
"zipperarray": {
"dependencies": [
"arrays",
"control",
"foldable-traversable",
"maybe",
"naturals",
"prelude"
],
"repo": "https://github.com/jamieyung/purescript-zipperarray.git",
"version": "v2.0.0"
}
}
12 changes: 12 additions & 0 deletions src/packages.dhall
Original file line number Diff line number Diff line change
Expand Up @@ -6061,4 +6061,16 @@
, repo = "https://github.com/gbagan/purescript-z3.git"
, version = "v0.0.2"
}
, zipperarray =
{ dependencies =
[ "arrays"
, "control"
, "foldable-traversable"
, "maybe"
, "naturals"
, "prelude"
]
, repo = "https://github.com/jamieyung/purescript-zipperarray.git"
, version = "v2.0.0"
}
}

0 comments on commit a031bcb

Please sign in to comment.