Vagrant: upgrade ARM chroot packages

Install packages from Debian 13 (even though the ARM chroot is using
Debian sid), skipping coq and libomp-dev as these packages are not built
for armel port:

- https://packages.debian.org/sid/coq
- https://packages.debian.org/sid/libomp-dev

Also remove MinGW and Wine, as the version to build and run i686 and
x86_64 Windows executable was installed (not ARM ones).

Vagrantfile

@@ -165,12 +165,17 @@ EOF
     chmod +x bin/enter-arm-debian
 
     # Install the same packages as the last Debian machine, but without the x86-specific packages
-    sed -n '/^RUN \\\\/,/[^\\\\]\$/{p}' /vagrant/machines/Dockerfile-debian10-buster | \\
+    sed -n '/^RUN \\\\/,/[^\\\\]\$/{p}' /vagrant/machines/Dockerfile-debian13-trixie | \\
         tail -n +2 | \\
         sed 's/dpkg --add-architecture i386/true/' | \\
+        sed 's/ coq / /g' | \\
+        sed 's/ gcc-mingw-w64 / /g' | \\
         sed 's/ gcc-multilib / gcc /g' | \\
         sed 's/ libc6-dev-i386 / /g' | \\
+        sed 's/ libomp-dev / /g' | \\
         sed 's/ linux-headers-amd64 / /g' | \\
+        sed 's/ wine / /g' | \\
+        sed 's/ wine32 / /g' | \\
         sed 's/ wine64 / /g' | \\
         arch-chroot arm-debian /usr/bin/env PATH=/usr/sbin:/usr/bin:/sbin:/bin DEBIAN_FRONTEND=noninteractive sh -x