License

Software Features Releases Packages License GitHub Docker Hub Jenkins

License


Sireum is licensed under the Eclipse Public License verson 1.0.

Sireum Distro includes software that may use different licenses; see them at Packages.