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
0009-UTF-8-strings-replaced-in-examples-to-avoid-encoding.patch
0010-Superfluous-output-of-which-command-suppressed.patch
0011-noreadline-and-REPL_OPTS-added-to-some-pakcs-calls.patch
2001_drop-spicey-tool.patch
