Package Details: python-sel4-deps 0.7.0-1

Git Clone URL: https://aur.archlinux.org/python-sel4-deps.git (read-only, click to copy)
Package Base: python-sel4-deps
Description: metapackage for build dependencies for the seL4 microkernel
Upstream URL: https://sel4.systems/
Licenses: BSD
Submitter: pirofti
Maintainer: pirofti
Last Packager: pirofti
Votes: 1
Popularity: 0.000000
First Submitted: 2021-03-22 11:05 (UTC)
Last Updated: 2025-11-26 17:05 (UTC)

Latest Comments

micwoj92 commented on 2026-02-09 21:49 (UTC)

https://github.com/seL4/seL4/issues/1590

micwoj92 commented on 2025-11-26 19:42 (UTC)

Upstream specifies python_requires='>=3' so future being 2/3 compatibility library makes no sense. Did you poke upstream about it?

pirofti commented on 2025-01-11 18:59 (UTC)

Hi dreieck,

Thank you for your comment!

Is it possible to remove the dependency in PKGBUILD if the setup.py has it explicitly? I could patch setup.py also.

What do you think?

dreieck commented on 2025-01-11 15:56 (UTC)

If possible, please remove the dependency on python-furure/ make the package working without python-future:

WARNING: python-future package is not compatible with Python 3.13

The python-future project was created in 2013 to attempt to save Python from the schism of version incompatibility that was threatening to tear apart the language (as Perl 6 contributed to the death of Perl).

That time is now past. Thanks to a huge porting effort across the Python community, Python 3 eventually thrived. Python 2 reached its end of life in 2020 and the python-future package should no longer be necessary. Use it to help with porting legacy code to Python 3 but don’t depend on it for new code.

If you use packages that depend on it, please contact maintainers and/or upstream of these packages and try to work out whether this dependency is really needed.

Regards and thanks for this package!