0001-New-analyses-for-termination-and-productivity-of-ope.patch
0002-Root-replacement-analysis-corrected-w.r.t.-projectio.patch
0003-Productivity-analysis-updated.patch
0004-Productivity-analysis-improved.patch
0005-Productivity-analysis-slightly-improved-analysis-doc.patch
0006-Analysis-documentation-updated.patch
0007-Makefiles-changed-so-that-runtest-considers-variable.patch
0008-Checking-for-existence-of-sqlite3-binary-added.patch
2001_drop-spicey-tool.patch
