How to use this box with Vagrant:

Vagrant.configure("2") do |config| = "pfribeiro/cyphyassure-amd64"
  config.vm.box_version = "202306.02.01"
vagrant init pfribeiro/cyphyassure-amd64 \
  --box-version 202306.02.01
vagrant up

This version was created 6 months ago.

CyPhyAssure distribution of Isabelle/UTP. OS: Ubuntu LTS 22.04 (amd64) with Xfce user interface and LiveTeX packaged. Default locale: en_GB. Includes fixes to the VirtualBox integration.

1 provider for this version.
  • virtualbox
    unknown Hosted by Vagrant Cloud (3.12 GB)