diff options
| author | figsoda <figsoda@pm.me> | 2023-09-13 11:32:01 -0400 |
|---|---|---|
| committer | figsoda <figsoda@pm.me> | 2023-09-13 11:32:01 -0400 |
| commit | 50d5d15896a578ebb4af93f3be816c24cc835a3a (patch) | |
| tree | 2e97e6969c91e58c696d67dfa0367cb963a3715a /pkgs/applications/science | |
| parent | dc32d28c2fd25e4569734721b6e3d268778231cd (diff) | |
egglog: unstable-2023-08-29 -> unstable-2023-09-12
Diff: https://github.com/egraphs-good/egglog/compare/c83fc750878755eb610a314da90f9273b3bfe25d...4d67f262a6f27aa5cfb62a2cfc7df968959105df
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/egglog/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/egglog/default.nix b/pkgs/applications/science/logic/egglog/default.nix index d594034333705..eedd90315db86 100644 --- a/pkgs/applications/science/logic/egglog/default.nix +++ b/pkgs/applications/science/logic/egglog/default.nix @@ -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 = { |