# mCRL2 watch file

version=3
http://www.mcrl2.org/release/user_manual/download.html .*mcrl2-([\d\.]+)\.tar\.gz.*
