Skip to content

Commit

Permalink
asli: cpp-backend-test-unstable-2024-12-24 -> cpp-backend-test-unstab…
Browse files Browse the repository at this point in the history
…le-2024-12-26

Diff: UQ-PAC/aslp@552d319...799846c
  • Loading branch information
github-actions[bot] committed Dec 26, 2024
1 parent f20794b commit 216116e
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions aslp/asli.nix
Original file line number Diff line number Diff line change
Expand Up @@ -26,15 +26,15 @@

buildDunePackage {
pname = "asli";
version = "cpp-backend-test-unstable-2024-12-24";
version = "cpp-backend-test-unstable-2024-12-26";

minimalOCamlVersion = "4.09";

src = fetchFromGitHub {
owner = "UQ-PAC";
repo = "aslp";
rev = "552d31992cf13636e597c8660229e6aac7c440e8";
hash = "sha256-4gmCPivEuR0HqUY3Co+K/1kYKQbqhmQpypjTTroeSMc=";
rev = "799846ce70c79ec013f8843fdfacec87d97bc293";
hash = "sha256-N6poVqtgZVyp0ghqvgmDexfhhUdp9++GyQl8TeJBZrM=";
};

checkInputs = [ alcotest ];
Expand Down

0 comments on commit 216116e

Please sign in to comment.