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

 Name                            Last modified      Size  Description
 Parent Directory                                     -   
 maude_2.6.orig.tar.gz           2011-05-04 16:07  1.5M  
 maude_2.6-4.debian.tar.gz       2013-10-24 13:13  5.0K  
 maude_2.6-4.dsc                 2013-10-24 13:13  1.4K  
 maude_2.6-4_armhf.deb           2013-10-24 13:33  728K  
 maude_2.6-4_powerpc.deb         2013-10-25 08:25  954K  
 maude_2.6-4_arm64.deb           2013-10-27 18:18  891K  
 maude_2.7-1.debian.tar.xz       2015-12-17 12:14  6.3K  
 maude_2.7.orig.tar.gz           2015-12-17 12:14  1.6M  
 maude_2.7-1.dsc                 2015-12-17 12:14  2.0K  
 maude_2.7-1_armhf.deb           2015-12-17 12:44  612K  
 maude_2.7-1_powerpc.deb         2015-12-17 12:44  673K  
 maude_2.7-1_ppc64el.deb         2015-12-17 12:45  806K  
 maude_2.7-1_s390x.deb           2015-12-17 12:45  728K  
 maude_2.7-1_arm64.deb           2015-12-17 14:54  677K  
 maude_2.7-2.debian.tar.xz       2016-04-27 01:19  6.6K  
 maude_2.7-2.dsc                 2016-04-27 01:19  2.0K  
 maude_2.7-2_s390x.deb           2016-04-27 03:58  732K  
 maude_2.7-2_arm64.deb           2016-04-27 05:35  675K  
 maude_2.7-2_ppc64el.deb         2016-04-27 11:11  852K  
 maude_2.7-2_armhf.deb           2016-04-27 12:27  611K  
 maude_2.7-2build2.debian.tar.xz 2020-03-22 18:10  6.7K  
 maude_2.7-2build2.dsc           2020-03-22 18:10  2.0K  
 maude_2.7-2build2_s390x.deb     2020-03-22 21:31  732K  
 maude_2.7-2build2_armhf.deb     2020-03-22 21:56  679K  
 maude_2.7-2build2_arm64.deb     2020-03-22 22:09  721K  
 maude_2.7-2build2_ppc64el.deb   2020-03-22 22:18  884K  
 maude_2.7-2build2_riscv64.deb   2020-04-03 14:09  767K  
 maude_3.1.orig.tar.gz           2020-11-01 00:18  2.2M  
 maude_3.1-2.dsc                 2020-12-16 00:30  2.0K  
 maude_3.1-2.debian.tar.xz       2020-12-16 00:30  6.6K  
 maude_3.1-2_ppc64el.deb         2020-12-16 00:30  1.1M  
 maude_3.1-2_s390x.deb           2020-12-16 00:30  1.0M  
 maude_3.1-2_arm64.deb           2020-12-16 00:49  890K  
 maude_3.1-2_armhf.deb           2020-12-16 00:50  833K  
 maude_3.1-2_riscv64.deb         2020-12-16 03:04  952K  
 maude_3.2.orig.tar.gz           2022-02-20 06:49  2.3M  
 maude_3.2-2build1.debian.tar.xz 2024-04-08 17:19  7.2K  
 maude_3.2-2build1.dsc           2024-04-08 17:19  2.1K  
 maude_3.2-2build1_arm64.deb     2024-04-08 21:24  1.0M  
 maude_3.2-2build1_ppc64el.deb   2024-04-08 22:09  1.2M  
 maude_3.2-2build1_riscv64.deb   2024-04-09 02:03  1.2M  
 maude_3.2-2build1_s390x.deb     2024-04-09 03:38  1.2M  
 maude_3.4-1.dsc                 2024-05-03 03:51  1.4K  
 maude_3.4.orig.tar.gz           2024-05-03 03:51  2.5M  
 maude_3.4-1.debian.tar.xz       2024-05-03 03:51  6.4K  
 maude_3.4-1_ppc64el.deb         2024-05-03 07:22  1.3M  
 maude_3.4-1_s390x.deb           2024-05-03 08:30  1.2M  
 maude_3.4-1_arm64.deb           2024-05-03 14:40  1.1M  
 maude_3.4-1_riscv64.deb         2024-05-06 19:11  1.3M  
 maude_3.5.1-1.dsc               2025-10-28 00:45  1.4K  
 maude_3.5.1.orig.tar.gz         2025-10-28 00:45  2.1M  
 maude_3.5.1-1.debian.tar.xz     2025-10-28 00:45  6.4K  
 maude_3.5.1-1_arm64.deb         2025-10-28 07:26  1.1M  
 maude_3.5.1-1_armhf.deb         2025-10-28 07:38  1.1M  
 maude_3.5.1-1_ppc64el.deb       2025-10-28 13:45  1.4M  
 maude_3.5.1-1_s390x.deb         2025-10-29 00:15  1.2M  
 maude_3.5.1-1_riscv64.deb       2025-10-30 03:11  1.3M