pfribeiro/cyphyassure-amd64 Vagrant box

How to use this box with Vagrant: 

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

v202405.14.01 currently released version

This version was created 4 months ago.

CyPhyAssure distribution of Isabelle/UTP (tracking commit 9076243).

OS: Ubuntu LTS 22.04.2 (amd64) with Xfce user interface and LiveTeX packaged. Default locale: en_GB.

Updated CyPhyAssure distribution, namely Isabelle has been updated to version 2023.

1 provider for this version.
  • virtualbox
    amd64 Hosted by Vagrant Cloud (3.19 GB)

v202306.11.01

This version was created about 1 year ago.

CyPhyAssure distribution of Isabelle/UTP (tracking commit c4fbc20).

OS: Ubuntu LTS 22.04 (amd64) with Xfce user interface and LiveTeX packaged. Default locale: en_GB.

This version includes the Glasgow Haskell Compiler (GHC) and fixes to the default Xfce4 icon theme.

1 provider for this version.
  • virtualbox
    amd64 Hosted by Vagrant Cloud (3.3 GB)

v202306.02.01

This version was created over 1 year 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)

v202306.01.01

This version was created over 1 year ago.

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

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

v202305.27.02

This version was created over 1 year ago.

Initial version.

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