1*de2caf28SDavid du Colombier /***** spin: version.h *****/ 2*de2caf28SDavid du Colombier 3*de2caf28SDavid du Colombier /* 4*de2caf28SDavid du Colombier * This file is part of the public release of Spin. It is subject to the 5*de2caf28SDavid du Colombier * terms in the LICENSE file that is included in this source directory. 6*de2caf28SDavid du Colombier * Tool documentation is available at http://spinroot.com 7*de2caf28SDavid du Colombier */ 8*de2caf28SDavid du Colombier 9*de2caf28SDavid du Colombier #define SpinVersion "Spin Version 6.5.1 -- 31 July 2020" 10