portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

sel4-deps: update maintainer address

Browse source 
Use the TS pypi meta address for the maintainer.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2024-07-10 09:36:33 +10:00
parent 9d2f3cd0c2
commit 9567675c2b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tools/python-deps/setup.py
View file

@ -46,6 +46,6 @@ setup(
url="https://sel4.systems",
licence='BSD2',
author='TrustworthySystems',
author_email='Stephen.Sherratt@data61.csiro.au',
author_email='pypi@trustworthy.systems',
install_requires=DEPS,
)