File _servicedata of Package minisat

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