Skip to content

Commit 101870f

Browse files
committed
Update Prelude to 4.2, fix submodule address
1 parent 3dcc22f commit 101870f

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

projects.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -927,8 +927,8 @@
927927
"maintainer": "[email protected]",
928928
"compatibility": [
929929
{
930-
"version": "4.0",
931-
"commit": "7b4eff0bae4f1abaf8ccc8370153f0945e0752ae"
930+
"version": "4.2",
931+
"commit": "8988b02ab963294d98d8f37d1a7dc0ee392fcd8d"
932932
}
933933
],
934934
"platforms": [

0 commit comments

Comments
 (0)