dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

egglog: unstable-2023-06-11 -> unstable-2023-06-26

Browse Source 
Diff: c7ef8b000c...187441ad0d
This commit is contained in:
figsoda 2023-07-04 11:57:03 -04:00
parent 9fa6434de9
commit 8e1aab5d34
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/egglog/default.nix
View File

@ -5,13 +5,13 @@
rustPlatform.buildRustPackage {
pname = "egglog";
version = "unstable-2023-06-11";
version = "unstable-2023-06-26";
src = fetchFromGitHub {
owner = "egraphs-good";
repo = "egglog";
rev = "c7ef8b000caf7fa17f6127847db4b9c285c03f09";
hash = "sha256-OGuqC/HgH7UhUhW5RU8nkqj6roPjXXOyVRHmnJdIolg=";
rev = "187441ad0d6826e8228b833dd41d384bc571c847";
hash = "sha256-DXVHbohsrjkcSlE7KMXDSr3ikgmCdMPnJYOiEz+wB/I=";
};
cargoLock = {