../ maude_2.7-2+b1_amd64.deb 02-Jul-2026 15:26 796K maude_2.7-2+b1_i386.deb 02-Jul-2026 16:01 853K maude_2.7-2+b2_amd64.deb 02-Jul-2026 11:47 802K maude_2.7-2+b2_arm64.deb 02-Jul-2026 11:15 754K maude_2.7-2+b2_i386.deb 02-Jul-2026 11:32 857K maude_2.7-2.debian.tar.xz 02-Jul-2026 11:16 6736 maude_2.7-2.dsc 02-Jul-2026 11:16 2007 maude_2.7.orig.tar.gz 02-Jul-2026 11:16 2M