[From nobody Tue Jul  7 11:05:05 2026
Received: (at 1141291-close) by bugs.debian.org; 7 Jul 2026 10:04:22 +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=-114.2 required=4.0 tests=ALL_TRUSTED,BAYES_00,
 DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FVGT_m_MULTI_ODD,
 HAS_BUG_NUMBER,MD5_SHA1_SUM,PGPSIGNATURE,USER_IN_DKIM_WELCOMELIST
 autolearn=ham autolearn_force=no
 version=4.0.1-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 84; hammy, 150; neutral, 104; spammy,
 0. spammytokens: hammytokens:0.000-+--HX-Debian:DAK,
 0.000-+--H*rp:D*ftp-master.debian.org, 0.000-+--HX-DAK:process-upload,
 0.000-+--UD:debian.tar.xz, 0.000-+--H*r:sk:fasolo.
Return-path: &lt;envelope@ftp-master.debian.org&gt;
Received: from muffat.debian.org ([2607:f8f0:614:1::1274:33]:59312)
 by buxtehude.debian.org with esmtps
 (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
 (Exim 4.96) (envelope-from &lt;envelope@ftp-master.debian.org&gt;)
 id 1wh2f8-009ai0-0y for 1141291-close@bugs.debian.org;
 Tue, 07 Jul 2026 10:04:22 +0000
Received: via submission
 from C=NA, ST=NA, L=Ankh Morpork, O=Debian SMTP, OU=Debian SMTP CA,
 CN=fasolo.debian.org, EMAIL=hostmaster@fasolo.debian.org (verified)
 by muffat.debian.org with esmtps
 (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
 (Exim 4.96) (envelope-from &lt;envelope@ftp-master.debian.org&gt;)
 id 1wh2f8-002sDu-3D for 1141291-close@bugs.debian.org;
 Tue, 07 Jul 2026 10:04:22 +0000
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
 d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Content-Type:
 Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID
 :Content-Description:In-Reply-To:References;
 bh=9BfHsaJYrJiTPgaOr/v0iFLIpobexeG4wd51N96Y4x0=; b=Q5N50Oi6dsBINR2Oypw0N8sbEN
 O9SNuSduaEHQ26AXQ/R5eUJ+1FzRw4klGcuaeEjKo3oxcmARFHTyUVd5suiWeNdGZRXzzvCPz44rH
 zf3FfhL0Z6h8/JPkYCEhLSwxcxH7EqQu3f7/Yu5OHM6OPMnAyCI2ckNRRm3lboPn8VW30St3zeB1z
 1DMqDrFT9wjrYPeoq4kolwmwXaKtFcUCCjzcrP2hAt7+nUAgWMjy/MP72Eq+jGESnLoRkz0Wx7GYR
 PKI/79q1T2DosaIGYCQgZIWW51ksq+XfmVLdsWh0mXvtS1Rn+RF+oXaHxchQi5p/+4D6c2oJTvxtw
 gRBFVN2g==;
Received: from dak by fasolo.debian.org with local (Exim 4.98.2)
 (envelope-from &lt;envelope@ftp-master.debian.org&gt;)
 id 1wh2f7-00000005ATf-1i5T; Tue, 07 Jul 2026 10:04:21 +0000
From: Debian FTP Masters &lt;ftpmaster@ftp-master.debian.org&gt;
Reply-To: Adrian Bunk &lt;bunk@debian.org&gt;
To: 1141291-close@bugs.debian.org
X-DAK: dak process-upload
X-Debian: DAK
X-Debian-Package: cocotb
Debian: DAK
Debian-Changes: cocotb_2.0.1-3.1_source.changes
Debian-Source: cocotb
Debian-Version: 2.0.1-3.1
Debian-Architecture: source
Debian-Suite: unstable
Debian-Archive-Action: accept
MIME-Version: 1.0
Subject: Bug#1141291: fixed in cocotb 2.0.1-3.1
Content-Type: multipart/signed; micalg=&quot;pgp-sha256&quot;;
 protocol=&quot;application/pgp-signature&quot;;
 boundary=&quot;===============6303439046104433403==&quot;
Message-Id: &lt;E1wh2f7-00000005ATf-1i5T@fasolo.debian.org&gt;
Date: Tue, 07 Jul 2026 10:04:21 +0000

--===============6303439046104433403==
Content-Type: text/plain; charset=&quot;utf-8&quot;
Content-Transfer-Encoding: quoted-printable

Source: cocotb
Source-Version: 2.0.1-3.1
Done: Adrian Bunk &lt;bunk@debian.org&gt;

We believe that the bug you reported is fixed in the latest version of
cocotb, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1141291@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Adrian Bunk &lt;bunk@debian.org&gt; (supplier of updated cocotb package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 05 Jul 2026 20:42:27 +0300
Source: cocotb
Architecture: source
Version: 2.0.1-3.1
Distribution: unstable
Urgency: medium
Maintainer: Debian Electronics Team &lt;pkg-electronics-devel@lists.alioth.debia=
n.org&gt;
Changed-By: Adrian Bunk &lt;bunk@debian.org&gt;
Closes: 1141291
Changes:
 cocotb (2.0.1-3.1) unstable; urgency=3Dmedium
 .
   * Non-maintainer upload.
   * Build only for the default Python. (Closes: #1141291)
Checksums-Sha1:
 7e5e451ae5abc1a26e9394057acd108d2678e307 2114 cocotb_2.0.1-3.1.dsc
 6b60ae9a4d804aa389fd1f156b392ec66fc3484a 6720 cocotb_2.0.1-3.1.debian.tar.xz
Checksums-Sha256:
 4f4af9a2119a9312244ca79bef28fe93e7779b80ba889aad3df301609840afe7 2114 cocotb=
_2.0.1-3.1.dsc
 205113f5d33b68a7b593b5da9b933eeead22eff58b48ec5f498d001750757374 6720 cocotb=
_2.0.1-3.1.debian.tar.xz
Files:
 b0aeafb1fa24e0285774adcdae982971 2114 electronics optional cocotb_2.0.1-3.1.=
dsc
 5290b14139a6c298fc55229dee60611f 6720 electronics optional cocotb_2.0.1-3.1.=
debian.tar.xz

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

iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmpKl/MACgkQiNJCh6LY
mLG2Sg//eJ5OkYw/ULKhuLlIUyQ/u+ASZUw0khKccgCeLFKEt7EDAX7owtCYEyom
+kxGODQvLwvLc6lxOSc5zwjlfAQUa/akVXluav9kp0mb5GEDq6nlsWWXmIBG8H5T
scXOn3C8zXxWZYexvlw7V7Ee18x+ceHt7xbGLej95XfwdT/RldOBRlphoNBbw2dW
tWKEAh1oB/gc4oH29vnjszjbOWR5HA/s9O5CBnQ2IpjRTTRp9jbWd07cQ4DGMDpI
7bqgzc8+73igZgg2v1TIlEnsnZlMsoQpjqPtxSAsmoTQEAnn+xrW4zCRWFuVb1t3
DmPAoj/tnHv+4lKaLkuFVxbjfE2LXBEfwbO3dHgiG1hFvTsB4REJu7Nu8irel735
jNZ1uRoew0FcbWrECLVvJ0pbVSCE07K/4l1zyO9J7vCW06Mx5ebNfxlZdS0qJX1n
iJwmWdzZ2ad6ZOR5bqHaa8rnp7gPVgesRk4/is/eaPQ0PVaHDtwC1FqHu59pvvMo
yaOkcO0QPvjPIyIiayaPVup2jCQuaW7iJRCBFHBrT85c4+MrD7/N6RuDVgzE5EDz
MKkuybPJKQdFkZ0M5QZxkzSSlPsigWby2r8QfRCH90G2MnzODfozmpyJNB4zlDsR
NZEZX6fL14+dhsBPxPLYp7ZQREAWFDvPwrusx7qnEwBrKi0S0Zc=3D
=3DpY3r
-----END PGP SIGNATURE-----


--===============6303439046104433403==
Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCakzPJQAKCRCb9qggYcy5
IbL5AQDnE09NabDGvZt0r+k5Yr9V2LtgjFohjPTCu/cEz5wiEwD7BJL8liNomB2n
yOMrXWolZuIbdkZD9f7lKv3EaJYmrgk=
=YkIa
-----END PGP SIGNATURE-----

--===============6303439046104433403==--
]