Index of /ubuntu-ports/pool/universe/m/maude/

../
maude_3.1-2.debian.tar.xz                          31-Aug-2023 00:27                6792
maude_3.1-2.dsc                                    31-Aug-2023 00:27                2022
maude_3.1-2_arm64.deb                              31-Aug-2023 00:27              911032
maude_3.1.orig.tar.gz                              31-Aug-2023 00:27             2335693
maude_3.2-2build1.debian.tar.xz                    16-Apr-2024 00:07                7384
maude_3.2-2build1.dsc                              16-Apr-2024 00:07                2125
maude_3.2-2build1_arm64.deb                        16-Apr-2024 00:07             1028642
maude_3.2.orig.tar.gz                              16-Dec-2023 01:24             2405779