[Pkg-electronics-devel] RFS: cocotb/2.0.1-2 [UPDATE] -- coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
Christopher Obbard
obbardc at debian.org
Sun Apr 19 00:05:44 BST 2026
Hi Ahmed,
I looked at the package, all good.
I didn't upload it but instead I gave you DM ACL upload permissions for cocotb.
Cheers!
Chris
On Wed, 15 Apr 2026 at 01:05, أحمد المحمودي
<aelmahmoudy at users.sourceforge.net> wrote:
>
> Package: sponsorship-requests
> Severity: normal
>
> Hello,
>
> Dear mentors,
>
> I am looking for a sponsor for my package "cocotb":
>
> The source builds the following binary packages:
>
> python3-cocotb - library for writing VHDL and Verilog testbenches in Python
>
> Changes for this release:
>
> cocotb (2.0.1-2) unstable; urgency=medium
>
> * d/control: drop version constraints for pybuild-plugin-pyproject since the
> problematic versions are not in any active suite anymore.
> Thanks to Colin Watson <cjwatson at debian.org>
> * d/control: bump standards version to 4.7.4
>
> The package has the following lintian issues:
> I: cocotb source: older-debian-watch-file-standard 4 [debian/watch]
> I: cocotb source: uses-deprecated-python-stdlib distutils (deprecated in Python 3.10, removed in Python 3.12) [cocotb_build_libs.py:11]
> I: cocotb source: uses-deprecated-python-stdlib distutils (deprecated in Python 3.10, removed in Python 3.12) [cocotb_build_libs.py:12]
> I: python3-cocotb: wrong-section-according-to-package-name electronics => python
> P: python3-cocotb: repeated-path-segment lib [usr/lib/python3/dist-packages/cocotb/share/lib/]
>
> The package can be found on Git:
> https://salsa.debian.org/electronics-team/cocotb
>
> Please grant me DM upload permission for the package
>
> Regards,
>
> --
> أحمد المحمودي (Ahmed El-Mahmoudy)
> Digital design engineer
> GPG KeyIDs: 4096R/A7EF5671 2048R/EDDDA1B7
> GPG Fingerprints:
> 6E2E E4BB 72E2 F417 D066 6ABF 7B30 B496 A7EF 5761
> 8206 A196 2084 7E6D 0DF8 B176 BC19 6A94 EDDD A1B7
> _______________________________________________
> Pkg-electronics-devel mailing list
> Pkg-electronics-devel at alioth-lists.debian.net
> https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-electronics-devel
More information about the Pkg-electronics-devel
mailing list