asli: unstable-2023-09-11 -> unstable-2023-09-12

Diff: UQ-PAC/aslp@672f355...f7fd0e8
katrinafyi · Sep 14, 2023 · 1c56d7e · 1c56d7e
1 parent 260e639
commit 1c56d7e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/asli.nix b/asli.nix
@@ -8,15 +8,15 @@
 
 ocamlPackages.buildDunePackage rec {
   pname = "asli";
-  version = "unstable-2023-09-11";
+  version = "unstable-2023-09-12";
 
   minimalOCamlVersion = "4.09";
 
   src = fetchFromGitHub {
     owner = "UQ-PAC";
     repo = "aslp";
-    rev = "672f3556a06904b31590d13ee697bd53c127801b";
-    sha256 = "sha256-oWBumTlfWHf6fwX5jfzzc+3uR9oMFX5BrnQuIc23Leg=";
+    rev = "f7fd0e8f089b4d9f99d900ca80412eacbc0d1a8f";
+    sha256 = "sha256-iHsSHDqvAQjFH0Gw2WbR0cw/lfzVyrzOhFoqNaaYYn8=";
   };
 
   checkInputs = [ ocamlPackages.alcotest ];