File _servicedata of Package z3

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