Skip to content

Commit

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

Diff: UQ-PAC/aslp@b05a4bf...797aeb5
github-actions[bot] committed Dec 10, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
1 parent 2860153 commit 55e0c10
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
@@ -26,15 +26,15 @@

buildDunePackage {
pname = "asli";
version = "cpp-backend-test-unstable-2024-11-27";
version = "cpp-backend-test-unstable-2024-12-10";

minimalOCamlVersion = "4.09";

src = fetchFromGitHub {
owner = "UQ-PAC";
repo = "aslp";
rev = "b05a4bf6207f648dab8ca000e1644610afa622be";
hash = "sha256-5CoOYpIgCamHptFeiqkWjYaPXFpUUeCn8X2O1ION9Aw=";
rev = "797aeb5428bda8748091b58759af572e4f1a5f25";
hash = "sha256-P1u4PJATEhf0JovHocdmq83tKi/HU24tr0foY2RyKqc=";
};

checkInputs = [ alcotest ];

0 comments on commit 55e0c10

Please sign in to comment.