Skip to content
[Jenkins]Jenkins
log in

Console Output

+ bin/isabelle components -a
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/old_vampire-4.2.2"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/vampire-4.5.1"
Getting "https://isabelle.sketis.net/components/old_vampire-4.2.2.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/old_vampire-4.2.2.tar.gz"
Getting "https://isabelle.sketis.net/components/vampire-4.5.1.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/vampire-4.5.1.tar.gz"