Index of /pool/main/m/maude/

../
maude_2.7-2+b2_amd64.deb                           08-Apr-2019 12:03              821376
maude_2.7-2+b2_arm64.deb                           05-Nov-2020 15:57              772520
maude_2.7-2+b2_i386.deb                            05-Nov-2020 16:04              877240
maude_2.7-2.debian.tar.xz                          08-Apr-2019 10:26                6736
maude_2.7-2.dsc                                    08-Apr-2019 10:26                2007
maude_2.7.orig.tar.gz                              08-Apr-2019 10:26             1663708
maude_3.2-2.debian.tar.xz                          16-Feb-2023 22:35                7276
maude_3.2-2.dsc                                    16-Feb-2023 22:35                2018
maude_3.2-2_amd64.deb                              16-Feb-2023 22:38             1064336
maude_3.2-2_arm64.deb                              16-Feb-2023 22:47              950228
maude_3.2-2_i386.deb                               16-Feb-2023 22:40             1147740
maude_3.2.orig.tar.gz                              16-Feb-2023 22:35             2405779