2025-01-11 Ismael Luceno * DETAILS: updated spell to 2.16.2 2022-12-04 Florian Franzmann * DETAILS: version 2.9.3 2022-11-11 Florian Franzmann * DETAILS: version 2.9.2 2022-10-30 Florian Franzmann * DETAILS: version 2.9.1 2022-09-04 Florian Franzmann * DETAILS: version 2.9 2022-07-09 Florian Franzmann * DETAILS: version 2.8.1 2022-06-01 Florian Franzmann * DETAILS: version 2.8 2022-04-18 Florian Franzmann * DETAILS: version 2.7.5 2022-02-05 Florian Franzmann * DETAILS: version 2.7 2021-12-26 Florian Franzmann * DETAILS: version 2.6.3 2021-10-02 Florian Franzmann * DETAILS: version 2.6 2021-07-07 Florian Franzmann * DETAILS: version 2.5 2021-03-21 Florian Franzmann * DEPENDS, DETAILS: version 2.4 2020-12-19 Treeve Jelbert * BUILD: simplify * DEPENDS: z3 optional, add pcre, tinyxml, qtcharts 2020-12-14 Florian Franzmann * DETAILS: version 2.3 2020-10-11 Florian Franzmann * DETAILS: version 2.2 2020-06-19 Florian Franzmann * DETAILS: version 2.1 * 0001-Remove-dead-code-that-prevents-successful-configurat.patch, PRE_BUILD: removed 2020-05-10 Florian Franzmann * DETAILS: version 2.0 * DEPENDS: add dependency on z3 * PRE_BUILD, 0001-Remove-dead-code-that-prevents-successful-configurat.patch: fix error during configuration 2019-12-22 Florian Franzmann * DETAILS: version 1.90 2019-10-05 Florian Franzmann * CONFIGURE, DEPENDS: use CMAKE_* 2019-09-07 Florian Franzmann * DETAILS: version 1.89 * BUILD, DETAILS, DEPENDS: use cmake * INSTALL: removed * BUILD: use cmake_build if there is no dependency on qtbase 2019-06-30 Florian Franzmann * DETAILS: version 1.88 2019-02-09 Florian Franzmann * DETAILS: version 1.87 2018-12-08 Florian Franzmann * DETAILS: version 1.86 2018-10-15 Florian Franzmann * DETAILS: version 1.85 2018-04-03 Florian Franzmann * DETAILS: version 1.83 2018-01-14 Florian Franzmann * DETAILS: version 1.82 2017-10-14 Florian Franzmann * DETAILS: version 1.81 2017-05-13 Florian Franzmann * DETAILS: version 1.79 2017-04-01 Florian Franzmann * DETAILS: version 1.78 2017-01-16 Florian Franzmann * DETAILS: version 1.77 2017-01-12 Florian Franzmann * DETAILS: version 1.76 2016-09-10 Florian Franzmann * DETAILS: version 1.75 2016-05-10 Florian Franzmann * DETAILS, BUILD: version 1.73 2015-05-25 Thomas Orgis * DETAILS: remove SOURCEFORGE_URL usage (automated) 2015-04-17 Ismael Luceno * DETAILS: updated spell to 1.68 2014-05-13 Florian Franzmann * DETAILS: version 1.65 2014-05-07 Florian Franzmann * DETAILS: version 1.64 2014-01-08 Florian Franzmann * DETAILS: version 1.63 * INSTALL, BUILD: install cfg files necessary for using cppcheck 2013-11-01 Florian Franzmann * DETAILS: version 1.62 2013-05-04 Florian Franzmann * DETAILS: version 1.59 2013-01-23 Florian Franzmann * DETAILS: version 1.58 2012-08-19 Florian Franzmann * DETAILS: version 1.55 2012-04-22 Florian Franzmann * DETAILS: version 1.54 2012-04-03 Florian Franzmann * DETAILS: version 1.53 2011-07-30 Florian Franzmann * DEPENDS: changed dependency on g++ to dependency on gcc with sub-depends on CXX (scripted) 2010-10-21 Florian Franzmann * DETAILS, INSTALL, DEPENDS: spell created .