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

Merge pull request #254972 from figsoda/egglog

Browse source 
egglog: unstable-2023-08-29 -> unstable-2023-09-12
This commit is contained in:
Nick Cao 2023-09-13 14:51:58 -04:00 committed by GitHub
commit 504d4cbc7d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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-08-29";
version = "unstable-2023-09-12";
src = fetchFromGitHub {
owner = "egraphs-good";
repo = "egglog";
rev = "c83fc750878755eb610a314da90f9273b3bfe25d";
hash = "sha256-bo3LU7WQ7WWnyL4EVOpzxxSFioXTozCSQFIFXyoxKLg=";
rev = "4d67f262a6f27aa5cfb62a2cfc7df968959105df";
hash = "sha256-1mc7dW2pgaK4D7ZmlSHohb+6lcr7M9SRLUV/Dod8Rv0=";
};
cargoLock = {