[home_shunghsiyu_branches_devel_tools_statica]
name=Branch project for package cbmc (16.0)
type=rpm-md
baseurl=https://download.opensuse.org/repositories/home:/shunghsiyu:/branches:/devel:/tools:/statica/16.0/
gpgcheck=1
gpgkey=https://download.opensuse.org/repositories/home:/shunghsiyu:/branches:/devel:/tools:/statica/16.0/repodata/repomd.xml.key
enabled=1