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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 maude_2.6-4.debian.t..> 24-Oct-2013 11:13  5.0K  
 maude_2.6-4.dsc         24-Oct-2013 11:13  1.4K  
 maude_2.6-4_amd64.deb   24-Oct-2013 11:33  913K  
 maude_2.6-4_i386.deb    24-Oct-2013 11:33  878K  
 maude_2.6.orig.tar.gz   04-May-2011 14:07  1.5M  
 maude_2.7-1.debian.t..> 17-Dec-2015 11:14  6.3K  
 maude_2.7-1.dsc         17-Dec-2015 11:14  2.0K  
 maude_2.7-1_amd64.deb   17-Dec-2015 11:44  755K  
 maude_2.7-1_i386.deb    17-Dec-2015 11:44  776K  
 maude_2.7-2.debian.t..> 26-Apr-2016 23:19  6.6K  
 maude_2.7-2.dsc         26-Apr-2016 23:19  2.0K  
 maude_2.7-2_amd64.deb   27-Apr-2016 03:26  811K  
 maude_2.7-2_i386.deb    27-Apr-2016 03:41  776K  
 maude_2.7-2build2.de..> 22-Mar-2020 17:10  6.7K  
 maude_2.7-2build2.dsc   22-Mar-2020 17:10  2.0K  
 maude_2.7-2build2_am..> 22-Mar-2020 18:10  812K  
 maude_2.7.orig.tar.gz   17-Dec-2015 11:14  1.6M  
 maude_3.1-2.debian.t..> 15-Dec-2020 23:30  6.6K  
 maude_3.1-2.dsc         15-Dec-2020 23:30  2.0K  
 maude_3.1-2_amd64.deb   15-Dec-2020 23:49  1.0M  
 maude_3.1.orig.tar.gz   31-Oct-2020 23:18  2.2M  
 maude_3.2-2.debian.t..> 13-Jul-2022 09:29  7.1K  
 maude_3.2-2.dsc         13-Jul-2022 09:29  2.0K  
 maude_3.2-2_amd64.deb   13-Jul-2022 09:29  1.0M  
 maude_3.2-2build1.de..> 08-Apr-2024 15:19  7.2K  
 maude_3.2-2build1.dsc   08-Apr-2024 15:19  2.1K  
 maude_3.2-2build1_am..> 08-Apr-2024 16:11  1.0M  
 maude_3.2.orig.tar.gz   20-Feb-2022 05:49  2.3M