fix build with new zarith stubs

katrinafyi · Jun 25, 2024 · 470f1b5 · 470f1b5
1 parent f8c85e2
commit 470f1b5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/versions.csv b/versions.csv
@@ -1,2 +1,2 @@
-1,github:katrinafyi/pac-nix/7b2e75af6fae9eb6a21d95952917912445461ec2#aslp_web,lib/ocaml/4.14.1/site-lib/aslp_web/,2024-06-25 14:01:20+1000
+1,github:katrinafyi/pac-nix/d2b687c2f77439adea84716f5e40d01bcf5c19e1#aslp_web,lib/ocaml/4.14.1/site-lib/aslp_web/,2024-06-25 14:01:20+1000