WRZ FTP-Server

Name Last Modified Size
Parent Directory/   -  
maude_3.1-2.debian.tar.xz 2020-12-15 16:47 6.6K
maude_3.1-2.dsc 2020-12-15 16:47 2.0K
maude_3.1-2_amd64.deb 2020-12-15 17:27 1004.4K
maude_3.1-2_arm64.deb 2020-12-15 17:12 893.1K
maude_3.1-2_armhf.deb 2020-12-15 17:42 838.2K
maude_3.1-2_i386.deb 2020-12-15 17:42 1.1M
maude_3.1.orig.tar.gz 2020-10-31 13:56 2.2M
maude_3.2-2.debian.tar.xz 2022-07-12 14:29 7.1K
maude_3.2-2.dsc 2022-07-12 14:29 2.0K
maude_3.2-2_amd64.deb 2022-07-12 15:14 1.0M
maude_3.2-2_arm64.deb 2022-07-12 15:29 928.0K
maude_3.2-2_armhf.deb 2022-07-12 15:14 869.8K
maude_3.2-2_i386.deb 2022-07-12 14:59 1.1M
maude_3.2.orig.tar.gz 2022-02-19 20:47 2.3M
maude_3.4-1+b1_arm64.deb 2024-11-01 20:20 1.0M
maude_3.4-1.debian.tar.xz 2024-04-07 11:01 6.4K
maude_3.4-1.dsc 2024-04-07 11:01 1.4K
maude_3.4-1_amd64.deb 2024-04-07 11:32 1.1M
maude_3.4.orig.tar.gz 2024-04-07 11:01 2.5M