diff --git a/Projects/Reproducible_builds b/Projects/Reproducible_builds index 369d906..bcfdeff 100644 --- a/Projects/Reproducible_builds +++ b/Projects/Reproducible_builds @@ -24,8 +24,8 @@ To run a MirageOS unikernel on your laptop or computer with virtualization exten For Debian and Ubuntu systems, we provide package repositories. Browse the [dists](https://apt.robur.coop/dists) folder for one matching your distribution, and add it to `/etc/apt/sources.list`: ``` -$ wget -q -O - https://apt.robur.coop/gpg.pub | apt-key add - # adds the GnuPG public key -$ echo "deb https://apt.robur.coop ubuntu-20.04 main" >> /etc/apt/sources.list # replace ubuntu-20.04 with e.g. debian-10 on a debian buster machine +$ 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 ```