;;; -*- scheme -*-
((skip ("verify"))
 (comment
   "LTS is not generated reproducibly over mcrl2/boost builds."))
