![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| maude_2.6-1_i386.deb | 10-Apr-2011 02:52 | 892K | |
| maude_2.6-2_amd64.deb | 05-Nov-2011 02:33 | 915K | |
| maude_2.6-2_i386.deb | 05-Nov-2011 03:20 | 890K | |
| maude_2.6-6_amd64.deb | 02-Oct-2014 17:23 | 731K | |
| maude_2.6-6_i386.deb | 02-Oct-2014 17:58 | 755K | |
| maude_2.7-2+b1_amd64.deb | 16-Mar-2017 16:10 | 796K | |
| maude_2.7-2+b1_i386.deb | 16-Mar-2017 16:25 | 853K | |
| maude_2.7-2+b2_amd64.deb | 05-May-2018 22:12 | 802K | |
| maude_3.1-2_amd64.deb | 16-Dec-2020 04:27 | 1.0M | |
| maude_3.2-2_amd64.deb | 13-Jul-2022 02:14 | 1.0M | |
| maude_3.4-1_amd64.deb | 07-Apr-2024 22:32 | 1.1M | |