egglog: unstable-2023-07-19 -> unstable-2023-08-09
Diff: 9fe03ad35a...de31786679
This commit is contained in:
parent
697d536087
commit
a69648b581
1 changed files with 3 additions and 3 deletions
|
@ -5,13 +5,13 @@
|
||||||
|
|
||||||
rustPlatform.buildRustPackage {
|
rustPlatform.buildRustPackage {
|
||||||
pname = "egglog";
|
pname = "egglog";
|
||||||
version = "unstable-2023-07-19";
|
version = "unstable-2023-08-09";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "egraphs-good";
|
owner = "egraphs-good";
|
||||||
repo = "egglog";
|
repo = "egglog";
|
||||||
rev = "9fe03ad35a2a975a2c9140a641ba91266b7a72ce";
|
rev = "de31786679e3fa879e37c324e7eb54d76466f61f";
|
||||||
hash = "sha256-9JeJJdZW8ecogReJzQrp3hFkK/pp/+pLxJMNREWuiyI=";
|
hash = "sha256-mskFjDTkmHwaGWMpwW2DTD64vLvWGZJYgy9smEbhFwI=";
|
||||||
};
|
};
|
||||||
|
|
||||||
cargoLock = {
|
cargoLock = {
|
||||||
|
|
Loading…
Reference in a new issue