Merge pull request #5 from h0nzZik/dist-fedora

dist/ but the packages are not there yet

dist/vagrant/ubuntu2310/Vagrantfile

@@ -71,8 +71,8 @@ Vagrant.configure("2") do |config|
   # Enable provisioning with a shell script. Additional provisioners such as
   # Ansible, Chef, Docker, Puppet and Salt are also available. Please see the
   # documentation for more information about their specific syntax and use.
-  # config.vm.provision "shell", inline: <<-SHELL
-  #   apt-get update
-  #   apt-get install -y apache2
-  # SHELL
+  config.vm.provision "shell", inline: <<-SHELL
+    apt-get update
+    apt-get install -y ocaml-dune ocaml-odoc coq
+  SHELL
 end

doc/dependencies.md

@@ -17,5 +17,6 @@ However, to support building Minuska without Nix, we list the required dependenc
 - zarith
 
 
-[Here](../dist/vagrant) we provide (TODO!) a Vagrant configuration for a Ubuntu machine with all the dependencies installed.
+[Here](../dist/vagrant) we WILL provide (TODO!) a Vagrant configuration for a [Ubuntu machine](../dist/vagrant/ubuntu2310)
+and [Fedora machine](../dist/vagrant/fedora38) with all the dependencies installed, once all the packages become available.
 Inside the machines, the [`minuska` directory](../minuska) is mounted as `/minuska-src`.