[From nobody Mon Jul 13 04:35:05 2026
Received: (at submit) by bugs.debian.org; 24 Sep 2025 20:32:07 +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=-9.2 required=4.0 tests=BAYES_00,DKIM_SIGNED,
 DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,PGPSIGNATURE,SPF_HELO_NONE,
 SPF_PASS autolearn=ham autolearn_force=no
 version=4.0.1-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 10; hammy, 111; neutral, 20; spammy,
 0. spammytokens: hammytokens:0.000-+--H*ct:application,
 0.000-+--H*ct:protocol, 0.000-+--H*ct:micalg, 0.000-+--H*ct:signed,
 0.000-+--H*ct:pgp-signature
Return-path: <carles@pina.cat>
Received: from mail.pina.cat ([213.167.241.144]:42272)
 by buxtehude.debian.org with esmtps
 (TLS1.3:ECDHE_X25519__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
 (Exim 4.96) (envelope-from <carles@pina.cat>) id 1v1W9m-000bXH-1C
 for submit@bugs.debian.org; Wed, 24 Sep 2025 20:32:07 +0000
Received: from [127.0.0.1] (localhost [127.0.0.1])
 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
 key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
 (No client certificate requested) (Authenticated sender: carles)
 by mail.pina.cat (Postfix) with ESMTPSA id 6CF235927E
 for <submit@bugs.debian.org>; Wed, 24 Sep 2025 20:32:05 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=pina.cat; s=201905;
 t=1758745925; bh=t1clmMG5OpegQNUCNjnJMOQUx9bziIK6OkSXtYsNFf4=;
 h=Date:From:To:Subject:From;
 b=lMz46ZHz4VPx3maMSMj2OdKo+YPiJOX7sdDY0Ns6NYxJG6RHtjZuqQ1URGnXAFIph
 UmAfw0+kST0OnXd4YcAM8THR7wzt3O6QCmKyORx5rRsr4CM5KbEAoeoiH7pakudhr8
 is1u7Qtq05ybHzBRyU+09Nw3XpNLKAl4H0mIJ4i64t5ErZ8TNioIyYuKR20k24QY5x
 GDIa3qShHghWElTzNc+idTwnHaN/mv9whUuEslQ2S0qCoV4irD79D2XGlZEFVrPy1y
 fxRrS/SVUvihKx1vfF3fKI3uUxyp7Yude0VYxQoZC8UBPgBAQzwgd0LQrizqlMiAnE
 SpKD+hKpZ34rw==
Received: from [127.0.0.1] (localhost [127.0.0.1])
 by pinux.Home (Postfix) with ESMTP id 71378B20359
 for <submit@bugs.debian.org>; Wed, 24 Sep 2025 21:32:02 +0100 (BST)
Received: by pinux.Home (Postfix, from userid 1000)
 id 6DCB5B20379; Wed, 24 Sep 2025 23:31:59 +0300 (EEST)
Date: Wed, 24 Sep 2025 21:31:59 +0100
From: Carles Pina i Estany <carles@pina.cat>
To: submit@bugs.debian.org
Subject: python3-nltk: recommends prover9 which is not in unstable
Message-ID: <aNRVP2UDA2tO1l3U@pina.cat>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha512;
 protocol="application/pgp-signature"; boundary="FlLzrrFsl74NPqpU"
Content-Disposition: inline
Delivered-To: submit@bugs.debian.org


--FlLzrrFsl74NPqpU
Content-Type: text/plain; protected-headers=v1; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
Date: Wed, 24 Sep 2025 21:31:59 +0100
From: Carles Pina i Estany <carles@pina.cat>
To: submit@bugs.debian.org
Subject: python3-nltk: recommends prover9 which is not in unstable


Subject: python3-nltk: recommends prover9 which is not in unstable
Package: python3-nltk
Version: 3.9.1-2
Severity: minor
User: submit@bugs.debian.org
Usertags: package-relations

Dear maintainer,

I see that the package python3-nltk (version 3.9.1-2) recommends prover9
which is not in unstable.

This can be seen in https://packages.debian.org/unstable/python3-nltk .
Search for "Package not available".

Should it be dropped or changed?

Thank you,

--=20
Carles Pina i Estany
https://carles.pina.cat | carles@pina.cat | cpina@debian.org

--FlLzrrFsl74NPqpU
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQIzBAABCgAdFiEEth6/Zob9uGYomaJ+qAKIT2ClX4EFAmjUVT8ACgkQqAKIT2Cl
X4H1PQ/+PMyypJzXbaAk30EPlNtA7t/50jGX7qRV8bVXZWOOjTa117MPJVXd76CS
+ykl8dbN5K8jyW1Ncb9pNJk+46y+NdmK3QHnLBEooPFRMsHwDwWNKsmxF9bVmFW9
MmNjb/4hOzT5KFDpjIqHADw7RZOdQF3VchgCK2RroF1SKIVQyA/+QuULAxRwjmYl
RkrxHwo1wq8O777NsduC+MGwfb7XfQx6Rf32uxH/+87hhdyhd/46u6SIQRuQlPWi
u3+wfHmAJ8shEJYBUtUK3DiuRtrFYwWXk5YUfio2RmTuQI5j1iG9e+ueltcjBNe0
KJlmg4NseOFYixM9JTGHCHP6BE9YNRvo1htCLOAr5DoBrjnsUQESAWPodKxEfIsd
IRQFvOUMRs65YteWukhC5V+AMw/ZrNUnWLb08FLM5OCrILDAsJ2AfEt09VmqXH4l
JUlYXTbhoPEDDYJSxe8gNiQQw4Q7Qa26iJ+tCicyBDGFRccohfK1vJ4QOY6sVkdB
CFHRYiHlQWAls59JUEQPo/ZHvvcy/xi2gNfRNWiy+CHqI2LR94guage2Wwu+KA7g
ykEI2FK/0ACoO4tt57au0PDDowfLVu9oZcoZs4l8MUVbExrqu3Ooch+icgCgN+K3
+p3qjgHFXO22qNSGYxahhDAem5Q849gRSSVZjOLmcfpvdNG+aDI=
=PF1r
-----END PGP SIGNATURE-----

--FlLzrrFsl74NPqpU--
]