From 6913733c577f7cb19d1c83dcf6dfe7c6fa614d88 Mon Sep 17 00:00:00 2001
From: "Emil \"AngryAnt\" Johansen" <git@eej.dk>
Date: Wed, 7 Jun 2023 10:56:34 +0200
Subject: [PATCH] hobbes: fix build, unstable-2021-04-28 -> unstable-2023-06-03

---
 pkgs/development/tools/hobbes/default.nix | 25 ++++++++++++++++-------
 1 file changed, 18 insertions(+), 7 deletions(-)

diff --git a/pkgs/development/tools/hobbes/default.nix b/pkgs/development/tools/hobbes/default.nix
index 148a1ccae089..5c3eb84b2d5a 100644
--- a/pkgs/development/tools/hobbes/default.nix
+++ b/pkgs/development/tools/hobbes/default.nix
@@ -1,14 +1,24 @@
-{ lib, stdenv, fetchFromGitHub, cmake, llvm_12, ncurses, readline, zlib, libxml2 }:
-
-stdenv.mkDerivation {
+{ lib
+, stdenv
+, llvmPackages_10
+, fetchFromGitHub
+, cmake
+, llvm_12
+, ncurses
+, readline
+, zlib
+, libxml2
+, python3
+}:
+llvmPackages_10.stdenv.mkDerivation {
   pname = "hobbes";
-  version = "unstable-2021-04-28";
+  version = "unstable-2023-06-03";
 
   src = fetchFromGitHub {
-    owner = "morgan-stanley";
+    owner = "morganstanley";
     repo = "hobbes";
-    rev = "737c7ca63516f6b3dca0e659c3de75d4325472d6";
-    sha256 = "0fjsmz1sbrp6464mrb9ha7p615w2l2pdldsc2ayvcrvxfyi1r4gj";
+    rev = "88a712b85bc896a4c87e60c12321445f1cdcfd00";
+    hash = "sha256-2v0yk35/cLKTjX0Qbc8cjc7Y6bamRSa9GpPvGoxL2Cw=";
   };
 
   # TODO: re-enable Python tests once they work on Python 3
@@ -27,6 +37,7 @@ stdenv.mkDerivation {
     readline
     zlib
     libxml2
+    python3
   ];
 
   doCheck = true;