Bug#1055476: z3: Fix hurd-amd64 build

[Samuel Thibault]

Source: z3
Version: 4.8.12-3.1
Severity: important
Tags: patch

Hello,

z3 currently cannot build on hurd-amd64 due to the java dependency. The
attached patch fixes this, could you apply it?

Thanks,
Samuel

-- System Information:
Debian Release: trixie/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable-debug'), (500, 'testing-debug'), (500, 'stable-security'), (500, 'stable-debug'), (500, 'oldstable-proposed-updates-debug'), (500, 'oldstable-proposed-updates'), (500, 'oldoldstable-proposed-updates'), (500, 'oldoldstable'), (500, 'buildd-unstable'), (500, 'unstable'), (500, 'stable'), (500, 'oldstable'), (1, 'experimental-debug'), (1, 'buildd-experimental'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386, arm64

Kernel: Linux 6.5.0-1-amd64 (SMP w/8 CPU threads; PREEMPT)
Kernel taint flags: TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

-- 
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.
-------------- next part --------------
--- debian/control.original	2023-11-06 20:21:25.000000000 +0000
+++ debian/control	2023-11-06 20:21:40.000000000 +0000
@@ -5,8 +5,8 @@
 Uploaders: Fabian Wolff <fabi.wolff at arcor.de>
 Build-Depends: debhelper-compat (= 13),
                dh-python, python3, cmake, libsimde-dev,
-               javahelper [!hppa !hurd-i386 !m68k !sh4] <!nojava>,
-               default-jdk [!hppa !hurd-i386 !m68k !sh4] <!nojava>
+               javahelper [!hppa !hurd-any !m68k !sh4] <!nojava>,
+               default-jdk [!hppa !hurd-any !m68k !sh4] <!nojava>
 Standards-Version: 4.6.0
 Homepage: https://github.com/Z3Prover/z3
 Vcs-Git: https://salsa.debian.org/pkg-llvm-team/z3.git