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