Package Details: python-sel4-deps 0.5.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.002181
First Submitted: 2021-03-22 11:05 (UTC)
Last Updated: 2024-10-20 16:17 (UTC)