asli: unstable-2024-03-18 -> unstable-2024-03-25

Diff: UQ-PAC/aslp@8828e86...00984c6
katrinafyi · Mar 25, 2024 · cf39f09 · cf39f09
1 parent d4f6690
commit cf39f09
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/aslp/asli.nix b/aslp/asli.nix
@@ -24,15 +24,15 @@
 
 buildDunePackage {
   pname = "asli";
-  version = "unstable-2024-03-18";
+  version = "unstable-2024-03-25";
 
   minimalOCamlVersion = "4.09";
 
   src = fetchFromGitHub {
     owner = "UQ-PAC";
     repo = "aslp";
-    rev = "8828e86cf7b45f63f02450699965eac1627a9973";
-    sha256 = "sha256-5fT+/ot9gAAizvq8R0gzDE4fLBNycfdonCrjWqxVi2c=";
+    rev = "00984c65f739ed31aeb774ca48cb81841cea55f1";
+    sha256 = "sha256-VsiiiGSlVX8yzJCHHdFcOiQwK2sfVcbLCGWfAnSrtiE=";
   };
 
   checkInputs = [ alcotest ];