BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

egglog: unstable-2023-08-23 -> unstable-2023-08-29

Browse source 
Diff: 9e53038196...c83fc75087
This commit is contained in:
figsoda 2023-09-01 16:33:25 -04:00
parent ec4366572d
commit e90c4d8d01
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 { rustPlatform.buildRustPackage {
pname = "egglog"; pname = "egglog";
version = "unstable-2023-08-23"; version = "unstable-2023-08-29";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "egraphs-good"; owner = "egraphs-good";
repo = "egglog"; repo = "egglog";
rev = "9e530381961a59524f2bbacd89973575b4e036d8"; rev = "c83fc750878755eb610a314da90f9273b3bfe25d";
hash = "sha256-xzfa1Z7ibSO4D5zpprC7heaswA7Be5Qmb81XoDwANqw="; hash = "sha256-bo3LU7WQ7WWnyL4EVOpzxxSFioXTozCSQFIFXyoxKLg=";
}; };
cargoLock = { cargoLock = {