Code

Fix camkes-deps build#146

Code

Closed

Ax9D wants to merge 1 commit intoseL4:masterseL4/camkes-tool:masterfrom Ax9D:masterAx9D/camkes-tool:masterCopy head branch name to clipboard

+1-1

Commits

Commits on Jun 28, 2024

• Fix camkes-deps: install orderedset dependency only for old python versions

  Show description for 82ab96b
  Ax9D

  committed
  82ab96b