File _link of Package z3
<link project="devel:tools:statica" baserev="ce39032c71e1325d889a297f55cf6a83">
<patches>
<branch/>
</patches>
</link>
<link project="devel:tools:statica" baserev="ce39032c71e1325d889a297f55cf6a83">
<patches>
<branch/>
</patches>
</link>