egglog: unstable-2023-08-19 -> unstable-2023-08-23
Diff: a4768b1751...9e53038196
This commit is contained in:
parent
4a46de78fb
commit
b424933ae6
@ -5,13 +5,13 @@
|
|||||||
|
|
||||||
rustPlatform.buildRustPackage {
|
rustPlatform.buildRustPackage {
|
||||||
pname = "egglog";
|
pname = "egglog";
|
||||||
version = "unstable-2023-08-19";
|
version = "unstable-2023-08-23";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "egraphs-good";
|
owner = "egraphs-good";
|
||||||
repo = "egglog";
|
repo = "egglog";
|
||||||
rev = "a4768b1751b72292b0e79e6e442d54ab270748fb";
|
rev = "9e530381961a59524f2bbacd89973575b4e036d8";
|
||||||
hash = "sha256-WTdMhtdPvBtS6WAS3S4dui/8ospJ7nkeRhLce2zY8KE=";
|
hash = "sha256-xzfa1Z7ibSO4D5zpprC7heaswA7Be5Qmb81XoDwANqw=";
|
||||||
};
|
};
|
||||||
|
|
||||||
cargoLock = {
|
cargoLock = {
|
||||||
|
Loading…
Reference in New Issue
Block a user