diff --git a/docs/developers.rst b/docs/developers.rst
index 96796dc8..bbf30424 100644
--- a/docs/developers.rst
+++ b/docs/developers.rst
@@ -48,14 +48,16 @@ Vagrant
 -------
 
 If you are not familiar with Vagrant, have a look at https://www.vagrantup.com/ for more information (it is awesome).
-To ease development, a Vagrantfile has been included along with a full provisioning profile generated using PuPHPet (https://puphpet.com).
-The Vagrantfile is configured to set up a CentOS 6.5 box with PHP 5.6 and MySQL installed, with a local port forward on port 8080.
-To set up the development environment, make sure you have Vagrant and VirtualBox (https://www.virtualbox.org/) installed, then run::
+
+
+To ease development, a Vagrantfile has been included along with a full provisioning profile generated using ansible.
+The Vagrantfile is configured to set up a Ubuntu 20.04 box with PHP 7.4 (FPM) and MySQL installed, with a dedicated private IP for accessing the dev environment(http://192.168.50.100).
+To set up the development environment, make sure you have Vagrant, Ansible and VirtualBox (https://www.virtualbox.org/) installed, then run::
 
      vagrant up
 
 The initial setup may take some time as the virtual machine needs to be provisioned.
-After that, you can access your development environment by navigating to http://localhost:8080/psm/ or http://192.158.56.101/psm/.
+After that, you can access your development environment by navigating to http://192.168.50.100/.
 The config.php file has been created automatically, but the first time you do need to run through the install wizard.
 
 Code