pfribeiro/cyphyassure-arm64 Vagrant box

How to use this box with Vagrant: 

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

v202306.01.01

This version was created over 1 year ago.

CyPhyAssure distribution of Isabelle/UTP. OS: Ubuntu LTS 22.04 (aarch64) with Xfce user interface and LiveTeX packaged. Default locale: en_GB

1 provider for this version.
  • vmware_desktop
    unknown Hosted by Vagrant Cloud (3.33 GB)