Available components:
  /home/tsewell/dev/ts-isabelle-2021
  /home/tsewell/dev/ts-isabelle-2021/src/Tools/jEdit
  /home/tsewell/dev/ts-isabelle-2021/src/Tools/Graphview
  /home/tsewell/dev/ts-isabelle-2021/src/Tools/VSCode
  /home/tsewell/dev/ts-isabelle-2021/src/HOL/Mirabelle
  /home/tsewell/dev/ts-isabelle-2021/src/HOL/Mutabelle
  /home/tsewell/dev/ts-isabelle-2021/src/HOL/Library/Sum_of_Squares
  /home/tsewell/dev/ts-isabelle-2021/src/HOL/SPARK
  /home/tsewell/dev/ts-isabelle-2021/src/HOL/Tools
  /home/tsewell/dev/ts-isabelle-2021/src/HOL/Tools/ATP
  /home/tsewell/dev/ts-isabelle-2021/src/HOL/TPTP
  /home/tsewell/dev/ts-isabelle-2021/Admin
  /home/tsewell/.isabelle
  /home/tsewell/.isabelle/contrib/bash_process-1.2.3-1
  /home/tsewell/.isabelle/contrib/bib2xhtml-20190409
  /home/tsewell/.isabelle/contrib/csdp-6.1.1
  /home/tsewell/.isabelle/contrib/cvc4-1.8
  /home/tsewell/.isabelle/contrib/e-2.5-1
  /home/tsewell/.isabelle/contrib/flatlaf-1.0
  /home/tsewell/.isabelle/contrib/isabelle_fonts-20190717
  /home/tsewell/.isabelle/contrib/jdk-15.0.2+7
  /home/tsewell/.isabelle/contrib/jedit_build-20210201
  /home/tsewell/.isabelle/contrib/jfreechart-1.5.1
  /home/tsewell/.isabelle/contrib/jortho-1.0-2
  /home/tsewell/.isabelle/contrib/kodkodi-1.5.6
  /home/tsewell/.isabelle/contrib/nunchaku-0.5
  /home/tsewell/.isabelle/contrib/opam-2.0.7
  /home/tsewell/.isabelle/contrib/polyml-test-f86ae3dc1686
  /home/tsewell/.isabelle/contrib/postgresql-42.2.18
  /home/tsewell/.isabelle/contrib/scala-2.13.4-1
  /home/tsewell/.isabelle/contrib/smbc-0.4.1
  /home/tsewell/.isabelle/contrib/spass-3.8ds-2
  /home/tsewell/.isabelle/contrib/sqlite-jdbc-3.34.0
  /home/tsewell/.isabelle/contrib/ssh-java-20190323
  /home/tsewell/.isabelle/contrib/stack-2.5.1
  /home/tsewell/.isabelle/contrib/vampire-4.2.2
  /home/tsewell/.isabelle/contrib/verit-2020.10-rmx-1
  /home/tsewell/.isabelle/contrib/xz-java-1.8
  /home/tsewell/.isabelle/contrib/z3-4.4.0pre-3
  /home/tsewell/.isabelle/contrib/zipperposition-2.0-1
  /home/tsewell/.isabelle/contrib/cvc4-1.8

Missing components: