Skip to content

Commit

Permalink
asli: unstable-2024-07-01 -> unstable-2024-07-01
Browse files Browse the repository at this point in the history
  • Loading branch information
github-actions[bot] committed Jul 1, 2024
1 parent 91432b0 commit 4284c45
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions aslp/asli.nix
Original file line number Diff line number Diff line change
Expand Up @@ -34,8 +34,8 @@ buildDunePackage {
src = fetchFromGitHub {
owner = "UQ-PAC";
repo = "aslp";
rev = "4d0bac9814b94b916e6b8528e3e85ab1b313b015";
hash = "sha256-3ZHbswBERw79XofXLVBI4XwmatoWSuosZQQRn+JZzB8=";
rev = "535a65099f69f03739071fc8ccb9f127302f03a1";
hash = "sha256-qN8+bMMw1qVeVaaCfJ0amn9WB5hJdUtrCgkUnEUdbdQ=";
};

checkInputs = [ alcotest ];
Expand Down

0 comments on commit 4284c45

Please sign in to comment.