[From nobody Tue Jul 21 10:21:04 2026 Received: (at submit) by bugs.debian.org; 2 Jul 2026 07:15:52 +0000 X-Spam-Checker-Version: SpamAssassin 4.0.1-bugs.debian.org_2005_01_02 (2024-03-25) on buxtehude.debian.org X-Spam-Level: X-Spam-Status: No, score=-23.6 required=4.0 tests=BAYES_00, BODY_INCLUDES_PACKAGE,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_EF, FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, FROMDEVELOPER,HAS_PACKAGE,HEADER_FROM_DIFFERENT_DOMAINS, RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,XMAILER_REPORTBUG, X_DEBBUGS_CC autolearn=ham autolearn_force=no version=4.0.1-bugs.debian.org_2005_01_02 X-Spam-Bayes: score:0.0000 Tokens: new, 30; hammy, 113; neutral, 13; spammy, 0. spammytokens: hammytokens:0.000-+--python3, 0.000-+--H*Ad:N*Bug, 0.000-+--H*Ad:N*Tracking, 0.000-+--HTo:N*Debian, 0.000-+--HTo:N*Bug Return-path: <pochu27@gmail.com> Received: from mail-wm1-x331.google.com ([2a00:1450:4864:20::331]:42286) by buxtehude.debian.org with esmtps (TLS1.3:ECDHE_X25519__RSA_PSS_RSAE_SHA256__AES_128_GCM:128) (Exim 4.96) (envelope-from <pochu27@gmail.com>) id 1wfBeJ-00D674-3C for submit@bugs.debian.org; Thu, 02 Jul 2026 07:15:52 +0000 Received: by mail-wm1-x331.google.com with SMTP id 5b1f17b1804b1-4938d5f86f3so2088085e9.1 for <submit@bugs.debian.org>; Thu, 02 Jul 2026 00:15:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1782976550; x=1783581350; darn=bugs.debian.org; h=date:message-id:subject:to:from:content-transfer-encoding :mime-version:sender:from:to:cc:subject:date:message-id:reply-to; bh=n4LK1AAbcGSxcnGYM6iSwCptogk0k71kSVSFFz5zKv8=; b=nva+qzYIUy3HGWMz9TCw7uoLMr00NbDqObcPuluP0LTzsf62DUjJSLmivoOOIzWc3b vKVqsT/Q/QAyKl+rEIm6iHojnedCk/Pww+c4YZthKUL6QmuakfJGYaO8kh29m3jGLZFp /Ps20vKJ3pLFLuIPvHSOzqGjIiPEP56PuOrB2DyfMQH9qNm0S0jAlVp0EB9n/+bYdPAq RhF60WEAr4m7cPSqE2IBJcLU+Chdje6nVFIy/TyJjXkVxC+R5eiy5i8sp9IHhN446H+4 Mfktc8dAlIVCGa6c0GDwEvwAAUaPEetnyL69oCBbWmLF2OwMjp0HUC/BukIW6J3MHtgQ CHrw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1782976550; x=1783581350; h=date:message-id:subject:to:from:content-transfer-encoding :mime-version:sender:x-gm-gg:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to; bh=n4LK1AAbcGSxcnGYM6iSwCptogk0k71kSVSFFz5zKv8=; b=pW9phNIzFeG2DSoArklPgdQppqSmTQ0M/xCv9qBWnvmDWt7XmOx+heqCoiNYbOLXKw RVp0br6NQfIHH16Ei6TNI/kLV8i4/hPPNdENyJHYLimN6RJXKFTg7FhTfq7KT58+ct25 oa/RwVaS07CpO5UDz8jGj1Z/3vtQ28isqS/ltxkZ4qjh3mahwUDf0A0e5eZdxvBfQl+j OOZQpOWWUwRfMxCPt/Qx8JmWWSPE6F4E5ReiSQuzl3KR5tIsq9vaCc5k1vR0QwxSGr6u VZygg3LbEF8wXiI8+F76WqL/1qJlBxxqZNF3J1d3Iq7VOPEn+xLamIXSfz7awu31EKy5 Jgbg== X-Gm-Message-State: AOJu0YyAfOaJUEf6bflkO0TVMBXLKar7AlxTbeKIl74emEmgKUpl+RDY 4pAzN45RtibSZ7wXT8M0QIRhOublo1yVr+1eJIHfBZz+u0RUX8UTaiPrdb3qdQ== X-Gm-Gg: AfdE7cncA6/AKU3SGvv3pGIuq2C+lr2VHv1vnrK8VzccOxx+oHWZX/7nLY4zcoM3Bce f7TZJ/q+Ct0wWaSb7Cz4nA2rmrFaBx6194V1AkEUoi9/Vwf1y/XkACrjdP3duF3FJuCTJamBPs1 cojLeQ1lcl5/7WR66sb64MW8FlEnw6Vm34qH8W4gJBh7FgTK1w+tH2YqXZbNVuQBDqutbD8WAYw RMwMzgMt5p7zbC3py3JBFVvF47rPESdTzoK7OGz12unFKEB3iMnl/eUYKqRcw8r8VPU6SnJACaL ZvIgEFxVhWQyLCyWZjgzxmeugS1GUbC7miKsXxxCmcw8LkKWAIgoJ1h+XKo5b7FbiXsklh6nZmF iR+uAu0JpfD9RM1YLRT8WokabN354JlpLieQIrkgF8ntn/iO4YDN+ewwFI69U0gmvCR83O5ZpQK 1ieQ== X-Received: by 2002:a05:600c:6098:b0:492:4871:7e21 with SMTP id 5b1f17b1804b1-493c234d6b2mr59874865e9.10.1782976549512; Thu, 02 Jul 2026 00:15:49 -0700 (PDT) Received: from kamino ([79.117.165.178]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-493c6354977sm28119915e9.2.2026.07.02.00.15.48 for <submit@bugs.debian.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 02 Jul 2026 00:15:48 -0700 (PDT) Sender: Emilio Pozuelo Monfort <pochu27@gmail.com> Received: by kamino (Postfix, from userid 1000) id 4DDB95F02024; Thu, 02 Jul 2026 09:15:48 +0200 (CEST) Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Emilio Pozuelo Monfort <pochu@debian.org> To: Debian Bug Tracking System <submit@bugs.debian.org> Subject: python3-bitwuzla: conflicting python3 dependencies Message-ID: <178297654829.278885.13693294639809084689.reportbug@kamino> X-Mailer: reportbug 13.2.0 Date: Thu, 02 Jul 2026 09:15:48 +0200 X-Debbugs-Cc: pochu@debian.org Delivered-To: submit@bugs.debian.org Package: python3-bitwuzla Version: 0.8.2-2 Severity: serious Hi, A rebuilt python3-bitwuzla for against python3.14 as default interpreter caused python3-bitwuzla to have these dependencies: Depends: python3 (<< 3.15), python3 (>= 3.14~), python3:any (<< 3.14), python3:any (>= 3.13~), [...] With python3 being at 3.14.6-1, that is uninstallable. The python3:any dependencies seem to come from debian/control: X-Python3-Version: >= 3.13, << 3.14 Perhaps that can be removed. Cheers, Emilio ]