Index of /debian/pool/main/m/maude/

../
maude_3.2-2.debian.tar.xz                          20-Apr-2023 16:54                7276
maude_3.2-2.dsc                                    20-Apr-2023 16:54                2018
maude_3.2-2_amd64.deb                              20-Apr-2023 16:54             1064336
maude_3.2-2_i386.deb                               20-Apr-2023 16:54             1147740
maude_3.2.orig.tar.gz                              20-Apr-2023 16:54             2405779