Searched refs:licence (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/tools/python-deps/
H A Dsetup.py46 licence='BSD2', variable
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DByte.sml18 under the terms of that licence.
/seL4-l4v-10.1.1/HOL4/src/coretypes/pair-Manual/
H A Ddescription.tex33 Anyone seeking a licence to use this software for commercial purposes

Completed in 38 milliseconds