Handle Debian 13

diff --git a/personal_infra/playbooks/roles/deploy_ragent/vars/main.yml b/personal_infra/playbooks/roles/deploy_ragent/vars/main.yml
index b587e01f0f16c42522ecabf0e7f559603a099603..392f3dec66740548d9e2764e376363f6ca25a006 100644 (file)
--- a/personal_infra/playbooks/roles/deploy_ragent/vars/main.yml
+++ b/personal_infra/playbooks/roles/deploy_ragent/vars/main.yml
@@ -9,6 +9,9 @@ ragent:
       '12':
         x86_64: debian
         armv7l: debian_rpi3
+      '13':
+        x86_64: debian
+        armv7l: debian_rpi3
 #      '20': # and it also works for Ubuntu 20.04
 #        x86_64: debian_buster
     RedHat: