File _servicedata of Package z3

<servicedata>
<service name="tar_scm">
            <param name="url">git://github.com/Z3Prover/z3.git</param>
          <param name="changesrevision">450f3c9b459d128135abb5bbd4fa0508fe26bfae</param></service></servicedata>