From 70f33f2777a5eac5b566d70c7d7ba71ad8dfa810 Mon Sep 17 00:00:00 2001
From: figsoda <figsoda@pm.me>
Date: Sat, 17 Jun 2023 17:33:00 -0400
Subject: [PATCH] egglog: unstable-2023-05-22 -> unstable-2023-06-11

Diff: https://github.com/egraphs-good/egglog/compare/5242b50051c339d55009860d4dff80125fdcedfd...c7ef8b000caf7fa17f6127847db4b9c285c03f09
---
 pkgs/applications/science/logic/egglog/Cargo.lock  | 4 ++--
 pkgs/applications/science/logic/egglog/default.nix | 7 +++----
 2 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/pkgs/applications/science/logic/egglog/Cargo.lock b/pkgs/applications/science/logic/egglog/Cargo.lock
index 2c0a2b71f4db..e61131fe5ed8 100644
--- a/pkgs/applications/science/logic/egglog/Cargo.lock
+++ b/pkgs/applications/science/logic/egglog/Cargo.lock
@@ -185,7 +185,7 @@ dependencies = [
 ]
 
 [[package]]
-name = "egg-smol"
+name = "egglog"
 version = "0.1.0"
 dependencies = [
  "clap",
@@ -906,7 +906,7 @@ name = "web-demo"
 version = "0.1.0"
 dependencies = [
  "console_error_panic_hook",
- "egg-smol",
+ "egglog",
  "js-sys",
  "log",
  "wasm-bindgen",
diff --git a/pkgs/applications/science/logic/egglog/default.nix b/pkgs/applications/science/logic/egglog/default.nix
index c05ea10db2bb..cf8892d00860 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-05-22";
+  version = "unstable-2023-06-11";
 
   src = fetchFromGitHub {
     owner = "egraphs-good";
     repo = "egglog";
-    rev = "5242b50051c339d55009860d4dff80125fdcedfd";
-    hash = "sha256-N04CfITLEr4D4s6bUi0eRQdAVy6Ztq3Ml0365of7i0U=";
+    rev = "c7ef8b000caf7fa17f6127847db4b9c285c03f09";
+    hash = "sha256-OGuqC/HgH7UhUhW5RU8nkqj6roPjXXOyVRHmnJdIolg=";
   };
 
   cargoLock = {
@@ -27,6 +27,5 @@ rustPlatform.buildRustPackage {
     homepage = "https://github.com/egraphs-good/egglog";
     license = licenses.mit;
     maintainers = with maintainers; [ figsoda ];
-    mainProgram = "egg-smol";
   };
 }