From 470f1b59591b03189dd4c866e09fe19453066e65 Mon Sep 17 00:00:00 2001 From: rina Date: Tue, 25 Jun 2024 14:38:25 +1000 Subject: [PATCH] fix build with new zarith stubs --- versions.csv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/versions.csv b/versions.csv index 982058f..5bf8b45 100644 --- 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