asli: unstable-2024-03-27 -> unstable-2024-04-15

Diff: UQ-PAC/aslp@630277b...0120c18
katrinafyi · Apr 15, 2024 · d7ec513 · d7ec513
1 parent f7b209f
commit d7ec513
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-27";
+  version = "unstable-2024-04-15";
 
   minimalOCamlVersion = "4.09";
 
   src = fetchFromGitHub {
     owner = "UQ-PAC";
     repo = "aslp";
-    rev = "630277b2bc5fa1e0f7b6e962f3dfbc4d69d0b723";
-    sha256 = "sha256-9iVqd0pS3bDQ0RSaUuVd14E/wjl+eJeCw++jcm5I16U=";
+    rev = "0120c18dac1b3ab4efd6cced8ae74bb25d610553";
+    sha256 = "sha256-hDJSzKbklsYWQE3sicHFXbRIKJJFT+RiuvIWFmRxF/g=";
   };
 
   checkInputs = [ alcotest ];