../ maude_3.5.1-1+b1_arm64.deb 21-Jan-2026 01:07 1M maude_3.5.1-1.debian.tar.xz 25-Oct-2025 18:28 6580 maude_3.5.1-1.dsc 25-Oct-2025 18:28 1425 maude_3.5.1-1_amd64.deb 25-Oct-2025 19:00 1M maude_3.5.1-1_arm64.deb 25-Oct-2025 18:55 1M maude_3.5.1-1_armhf.deb 25-Oct-2025 18:54 1023K maude_3.5.1-1_i386.deb 25-Oct-2025 19:00 1M maude_3.5.1.orig.tar.gz 25-Oct-2025 18:28 2M