Repository#

Depending on your OS, you can configure the repository like shown below.

Fedora#

$ curl -s https://repo.tuxed.net/eduVPN/v4-dev/rpm/repo+v4-dev@eduvpn.org.asc | sudo tee /etc/pki/rpm-gpg/RPM-GPG-KEY-eduVPN_v4-dev > /dev/null
$ cat << 'EOF' | sudo tee /etc/yum.repos.d/eduVPN_v4-dev.repo
[eduVPN_v4-dev]
name=eduVPN 4.x Development Packages (Fedora Linux $releasever)
baseurl=https://repo.tuxed.net/eduVPN/v4-dev/rpm/fedora-$releasever-$basearch
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-eduVPN_v4-dev
gpgcheck=1
enabled=1
EOF

AlmaLinux 10#

$ curl -s https://repo.tuxed.net/eduVPN/v4-dev/rpm/repo+v4-dev@eduvpn.org.asc | sudo tee /etc/pki/rpm-gpg/RPM-GPG-KEY-eduVPN_v4-dev > /dev/null
$ cat << 'EOF' | sudo tee /etc/yum.repos.d/eduVPN_v4-dev.repo
[eduVPN_v4-dev]
name=eduVPN 4.x Development Packages (AlmaLinux $releasever)
baseurl=https://repo.tuxed.net/eduVPN/v4-dev/rpm/alma+epel-$releasever-$basearch
gpgkey=file:///etc/pki/rpm-gpg/RPM-GPG-KEY-eduVPN_v4-dev
gpgcheck=1
enabled=1
EOF

Debian 13#

$ sudo mkdir -p /etc/apt/keyrings
$ curl -s https://repo.tuxed.net/eduVPN/v4-dev/deb/repo+v4-dev@eduvpn.org.gpg | sudo tee /etc/apt/keyrings/repo+v4-dev@eduvpn.org.gpg >/dev/null
$ cat << EOF | sudo tee /etc/apt/sources.list.d/eduVPN_v4-dev.sources >/dev/null
Types: deb
URIs: https://repo.tuxed.net/eduVPN/v4-dev/deb
Suites: trixie
Components: main
Signed-By: /etc/apt/keyrings/repo+v4-dev@eduvpn.org.gpg
Architectures: $(dpkg --print-architecture)
EOF

Ubuntu 26.04#

$ sudo mkdir -p /etc/apt/keyrings
$ curl -s https://repo.tuxed.net/eduVPN/v4-dev/deb/repo+v4-dev@eduvpn.org.gpg | sudo tee /etc/apt/keyrings/repo+v4-dev@eduvpn.org.gpg >/dev/null
$ cat << EOF | sudo tee /etc/apt/sources.list.d/eduVPN_v4-dev.sources >/dev/null
Types: deb
URIs: https://repo.tuxed.net/eduVPN/v4-dev/deb
Suites: resolute
Components: main
Signed-By: /etc/apt/keyrings/repo+v4-dev@eduvpn.org.gpg
Architectures: $(dpkg --print-architecture)
EOF