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

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