File _servicedata of Package z3

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