diff --git a/Projects/Reproducible_builds b/Projects/Reproducible_builds
index bcfdeff..d260758 100644
--- a/Projects/Reproducible_builds
+++ b/Projects/Reproducible_builds
@@ -18,7 +18,7 @@ Several ready-to-use MirageOS unikernels are built on a daily basis - ranging fr
 
 ## Deploying MirageOS unikernel
 
-To run a MirageOS unikernel on your laptop or computer with virtualization extensions (VT-x - KVM/BHyve), you first have to install the `solo5-hvt` and `albatross` packages. Afterwards you need to setup a virtual network switch (a bridge interface) where your unikernels will communicate, and forwarding.
+To run a MirageOS unikernel on your laptop or computer with virtualization extensions (VT-x - KVM/BHyve), you first have to install the `solo5` and `albatross` packages. Afterwards you need to setup a virtual network switch (a bridge interface) where your unikernels will communicate, and forwarding.
 
 ### Host system package installation
 
@@ -27,7 +27,7 @@ For Debian and Ubuntu systems, we provide package repositories. Browse the [dist
 $ wget -q -O /etc/apt/trusted.gpg.d/apt.robur.coop.gpg https://apt.robur.coop/gpg.pub
 $ echo "deb https://apt.robur.coop ubuntu-20.04 main" >> /etc/apt/sources.list # replace ubuntu-20.04 with e.g. debian-11 on a debian buster machine
 $ apt update
-$ apt install solo5-hvt albatross
+$ apt install solo5 albatross
 ```
 
 On FreeBSD:
@@ -41,7 +41,7 @@ $ echo 'robur: {
   enabled: yes
 }' > /usr/local/etc/pkg/repos/robur.conf # Check https://pkg.robur.coop which ABI are available
 $ pkg update
-$ pkg install solo5-hvt albatross
+$ pkg install solo5 albatross
 ```
 
 For other distributions and systems we do not (yet?) provide binary packages. You can compile and install them using [opam](https://opam.ocaml.org) (`opam install solo5 albatross`). Get in touch if you're keen on adding some other distribution to our reproducible build infrastructure.