Index of /debian/pool/main/m/maude

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 maude_2.7-2+b2_amd64..> 2018-05-05 14:12  802K  
 maude_2.7-2.debian.t..> 2016-04-05 11:56  6.6K  
 maude_2.7-2.dsc         2016-04-05 11:56  2.0K  
 maude_2.7.orig.tar.gz   2015-12-17 01:06  1.6M  
 maude_3.1-2.debian.t..> 2020-12-15 19:47  6.6K  
 maude_3.1-2.dsc         2020-12-15 19:47  2.0K  
 maude_3.1-2_amd64.deb   2020-12-15 20:27  1.0M  
 maude_3.1.orig.tar.gz   2020-10-31 16:56  2.2M  
 maude_3.2-2.debian.t..> 2022-07-12 17:29  7.1K  
 maude_3.2-2.dsc         2022-07-12 17:29  2.0K  
 maude_3.2-2_amd64.deb   2022-07-12 18:14  1.0M  
 maude_3.2.orig.tar.gz   2022-02-19 23:47  2.3M  
 maude_3.4-1.debian.t..> 2024-04-07 14:01  6.4K  
 maude_3.4-1.dsc         2024-04-07 14:01  1.4K  
 maude_3.4-1_amd64.deb   2024-04-07 14:32  1.1M  
 maude_3.4.orig.tar.gz   2024-04-07 14:01  2.5M