tide: 2.55-1~getdeb1

  * New upstream version
    Improvements and support of the checkers framework 1.5.0.