File _servicedata of Package minisat

<servicedata>
<service name="tar_scm">
                <param name="url">https://github.com/stp/minisat</param>
              <param name="changesrevision">14c78206cd12d1d36b7e042fa758747c135670a4</param></service></servicedata>