Index of /nova/pool/extendido/m/maude/

../
maude_2.7-2.debian.tar.xz                          11-Jun-2020 01:27                6736
maude_2.7-2.dsc                                    11-Jun-2020 01:27                2007
maude_2.7-2_amd64.deb                              11-Jun-2020 05:21              830462
maude_2.7-2_i386.deb                               11-Jun-2020 03:40              794430
maude_2.7-2build2.debian.tar.xz                    22-Jun-2020 10:14                6840
maude_2.7-2build2.dsc                              22-Jun-2020 10:14                2070
maude_2.7-2build2_amd64.deb                        22-Jun-2020 17:27              831588
maude_2.7.orig.tar.gz                              10-Jun-2020 10:03             1663708
maude_3.1-2.debian.tar.xz                          01-May-2022 00:23                6792
maude_3.1-2.dsc                                    01-May-2022 00:23                2022
maude_3.1-2_amd64.deb                              30-Apr-2022 04:07             1026164
maude_3.1.orig.tar.gz                              01-May-2022 00:23             2335693