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

../
maude_3.1-2.debian.tar.xz                          13-Apr-2022 17:29                6792
maude_3.1-2.dsc                                    13-Apr-2022 17:29                2022
maude_3.1-2_amd64.deb                              13-Apr-2022 17:29             1026164
maude_3.1.orig.tar.gz                              13-Apr-2022 17:29             2335693
maude_3.2-2build1.debian.tar.xz                    16-Apr-2024 04:32                7384
maude_3.2-2build1.dsc                              16-Apr-2024 04:32                2125
maude_3.2-2build1_amd64.deb                        16-Apr-2024 04:32             1076044
maude_3.2.orig.tar.gz                              16-Nov-2023 15:34             2405779
maude_3.5.1-1.debian.tar.xz                        10-Apr-2026 05:59                6580
maude_3.5.1-1.dsc                                  10-Apr-2026 05:59                1425
maude_3.5.1-1_amd64.deb                            10-Apr-2026 05:59             1235272
maude_3.5.1.orig.tar.gz                            10-Apr-2026 05:59             2239270