details

attribute value name OpenSMT description OpenSMT 20220630 owner Antti Hyvarinen uploaded Jun 30 2022 disk size 10.9 MB build status uploaded built

configurations

name	description
default	no description
proof	no description

actions

get anonymous link download