Update pydeps version
This is due to the new dependency, pyfdt
This commit is contained in:
parent
c37d137705
commit
fe67d88c57
1 changed files with 1 additions and 1 deletions
|
|
@ -42,7 +42,7 @@ DEPS = [
|
|||
|
||||
setup(
|
||||
name='sel4-deps',
|
||||
version='0.1.3',
|
||||
version='0.1.4',
|
||||
description='Metapackage for downloading build dependencies for the seL4 microkernel',
|
||||
url="https://sel4.systems",
|
||||
licence='BSD2',
|
||||
|
|
|
|||
Loading…
Reference in a new issue