Console Output

+ bin/isabelle components -a
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/e-2.6-1"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/flatlaf-1.6"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/isabelle_fonts-20211004"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/jfreechart-1.5.3"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/kodkodi-1.5.7"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/minisat-2.2.1"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/postgresql-42.2.24"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/sqlite-jdbc-3.36.0.3"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/vampire-4.6"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/verit-2021.06-rmx-1"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/xz-java-1.9"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/zipperposition-2.1-1"
Getting "https://isabelle.sketis.net/components/e-2.6-1.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/e-2.6-1.tar.gz"
Getting "https://isabelle.sketis.net/components/flatlaf-1.6.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/flatlaf-1.6.tar.gz"
Getting "https://isabelle.sketis.net/components/isabelle_fonts-20211004.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/isabelle_fonts-20211004.tar.gz"
Getting "https://isabelle.sketis.net/components/jfreechart-1.5.3.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/jfreechart-1.5.3.tar.gz"
Getting "https://isabelle.sketis.net/components/kodkodi-1.5.7.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/kodkodi-1.5.7.tar.gz"
Getting "https://isabelle.sketis.net/components/minisat-2.2.1.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/minisat-2.2.1.tar.gz"
Getting "https://isabelle.sketis.net/components/postgresql-42.2.24.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/postgresql-42.2.24.tar.gz"
Getting "https://isabelle.sketis.net/components/sqlite-jdbc-3.36.0.3.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/sqlite-jdbc-3.36.0.3.tar.gz"
Getting "https://isabelle.sketis.net/components/vampire-4.6.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/vampire-4.6.tar.gz"
Getting "https://isabelle.sketis.net/components/verit-2021.06-rmx-1.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/verit-2021.06-rmx-1.tar.gz"
Getting "https://isabelle.sketis.net/components/xz-java-1.9.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/xz-java-1.9.tar.gz"
Getting "https://isabelle.sketis.net/components/zipperposition-2.1-1.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/zipperposition-2.1-1.tar.gz"