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

 Name                            Last modified      Size  
 Parent Directory                                     -   
 maude_3.4.orig.tar.gz           2024-05-02 20:51  2.5M  
 maude_3.2.orig.tar.gz           2022-02-19 23:49  2.3M  
 maude_3.1.orig.tar.gz           2020-10-31 18:18  2.2M  
 maude_2.7.orig.tar.gz           2015-12-17 05:14  1.6M  
 maude_2.6.orig.tar.gz           2011-05-04 09:07  1.5M  
 maude_3.4-1_amd64.deb           2024-05-02 22:29  1.1M  
 maude_3.2-2build1_amd64.deb     2024-04-08 11:11  1.0M  
 maude_3.1-2_amd64.deb           2020-12-15 17:49  1.0M  
 maude_2.6-4_amd64.deb           2013-10-24 06:33  913K  
 maude_2.6-4_i386.deb            2013-10-24 06:33  878K  
 maude_2.7-2build2_amd64.deb     2020-03-22 13:10  812K  
 maude_2.7-2_amd64.deb           2016-04-26 22:26  811K  
 maude_2.7-2_i386.deb            2016-04-26 22:41  776K  
 maude_2.7-1_i386.deb            2015-12-17 05:44  776K  
 maude_2.7-1_amd64.deb           2015-12-17 05:44  755K  
 maude_3.2-2build1.debian.tar.xz 2024-04-08 10:19  7.2K  
 maude_2.7-2build2.debian.tar.xz 2020-03-22 12:10  6.7K  
 maude_3.1-2.debian.tar.xz       2020-12-15 17:30  6.6K  
 maude_2.7-2.debian.tar.xz       2016-04-26 18:19  6.6K  
 maude_3.4-1.debian.tar.xz       2024-05-02 20:51  6.4K  
 maude_2.7-1.debian.tar.xz       2015-12-17 05:14  6.3K  
 maude_2.6-4.debian.tar.gz       2013-10-24 06:13  5.0K  
 maude_3.2-2build1.dsc           2024-04-08 10:19  2.1K  
 maude_2.7-2build2.dsc           2020-03-22 12:10  2.0K  
 maude_2.7-1.dsc                 2015-12-17 05:14  2.0K  
 maude_3.1-2.dsc                 2020-12-15 17:30  2.0K  
 maude_2.7-2.dsc                 2016-04-26 18:19  2.0K  
 maude_2.6-4.dsc                 2013-10-24 06:13  1.4K  
 maude_3.4-1.dsc                 2024-05-02 20:51  1.4K