gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #251630 from figsoda/egglog

Browse Source 
egglog: unstable-2023-08-19 -> unstable-2023-08-23
This commit is contained in:
Matthias Beyer
2023-08-26 19:09:12 +02:00
committed by GitHub
parent 49f9bd91f9 b424933ae6
commit 13a06fddfb
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/science/logic/egglog/default.nix
+3 -3
View File
@@ -5,13 +5,13 @@
rustPlatform.buildRustPackage {
pname = "egglog";
version = "unstable-2023-08-19";
version = "unstable-2023-08-23";
src = fetchFromGitHub {
owner = "egraphs-good";
repo = "egglog";
rev = "a4768b1751b72292b0e79e6e442d54ab270748fb";
hash = "sha256-WTdMhtdPvBtS6WAS3S4dui/8ospJ7nkeRhLce2zY8KE=";
rev = "9e530381961a59524f2bbacd89973575b4e036d8";
hash = "sha256-xzfa1Z7ibSO4D5zpprC7heaswA7Be5Qmb81XoDwANqw=";
};
cargoLock = {