K 10
svn:author
V 7
antoine
K 8
svn:date
V 27
2020-07-12T20:12:08.604676Z
K 7
svn:log
V 118
Mark BROKEN

WITH_SCOTCH selected but no installation of Scotch could be found

Reported by:	pkg-fallout
MFH:		2020Q3

END