Name                        Last modified      Size  Description
 Parent Directory                                 -   
 maude_2.7-2+b2_amd64.deb    2018-05-05 06:12  802K  
 maude_2.7-2+b2_arm64.deb    2018-05-05 05:25  754K  
 maude_2.7-2+b2_i386.deb     2018-05-05 07:14  857K  
 maude_2.7-2+b2_mips64el.deb 2018-05-05 10:55  760K  
 maude_2.7-2+b2_ppc64el.deb  2018-05-05 07:14  840K  
 maude_2.7-2.debian.tar.xz   2016-04-05 03:56  6.6K  
 maude_2.7-2.dsc             2016-04-05 03:56  2.0K  
 maude_2.7.orig.tar.gz       2015-12-16 16:06  1.6M  
 maude_3.1-2.debian.tar.xz   2020-12-15 10:47  6.6K  
 maude_3.1-2.dsc             2020-12-15 10:47  2.0K  
 maude_3.1-2_amd64.deb       2020-12-15 11:27  1.0M  
 maude_3.1-2_arm64.deb       2020-12-15 11:12  893K  
 maude_3.1-2_i386.deb        2020-12-15 11:42  1.1M  
 maude_3.1-2_mips64el.deb    2020-12-15 11:57  934K  
 maude_3.1-2_ppc64el.deb     2020-12-15 11:27  1.0M  
 maude_3.1.orig.tar.gz       2020-10-31 08:56  2.2M  
 maude_3.2-2.debian.tar.xz   2022-07-12 09:29  7.1K  
 maude_3.2-2.dsc             2022-07-12 09:29  2.0K  
 maude_3.2-2_amd64.deb       2022-07-12 10:14  1.0M  
 maude_3.2-2_arm64.deb       2022-07-12 10:29  928K  
 maude_3.2-2_i386.deb        2022-07-12 09:59  1.1M  
 maude_3.2-2_mips64el.deb    2022-07-12 11:30  964K  
 maude_3.2-2_ppc64el.deb     2022-07-12 10:14  1.1M  
 maude_3.2.orig.tar.gz       2022-02-19 14:47  2.3M