Index of /archive.ubuntu.com/ubuntu/pool/universe/m/maude/

../
maude_3.1-2.debian.tar.xz                          15-Dec-2020 23:30                6792
maude_3.1-2.dsc                                    15-Dec-2020 23:30                2022
maude_3.1-2_amd64.deb                              15-Dec-2020 23:49             1026164
maude_3.1.orig.tar.gz                              31-Oct-2020 23:18             2335693