Name Last modified Size Description
Parent Directory - maude_3.4-1.dsc 2024-04-07 20:01 1.4K maude_3.4-1.debian.tar.xz 2024-04-07 20:01 6.4K maude_3.4-1_arm64.deb 2024-04-07 20:48 1.0M maude_3.4-1_amd64.deb 2024-04-07 20:32 1.1M maude_3.4.orig.tar.gz 2024-04-07 20:01 2.5M