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