| ⬆️Parent directory | — | — |
| 📦maude_3.1-2.debian.tar.xz | 6.64K | Tue Dec 15 2020 |
| 📄maude_3.1-2.dsc | 1.98K | Tue Dec 15 2020 |
| 📦maude_3.1-2_amd64.deb | 1005K | Wed Dec 16 2020 |
| 📦maude_3.1-2_i386.deb | 1.06M | Wed Dec 16 2020 |
| 📦maude_3.1.orig.tar.gz | 2.23M | Sat Oct 31 2020 |
| 📦maude_3.2-2.debian.tar.xz | 7.11K | Tue Jul 12 2022 |
| 📄maude_3.2-2.dsc | 1.98K | Tue Jul 12 2022 |
| 📦maude_3.2-2_amd64.deb | 1.02M | Tue Jul 12 2022 |
| 📦maude_3.2-2_i386.deb | 1.1M | Tue Jul 12 2022 |
| 📦maude_3.2.orig.tar.gz | 2.3M | Sun Feb 20 2022 |
| 📦maude_3.4-1.debian.tar.xz | 6.4K | Sun Apr 07 2024 |
| 📄maude_3.4-1.dsc | 1.36K | Sun Apr 07 2024 |
| 📦maude_3.4-1_amd64.deb | 1.14M | Sun Apr 07 2024 |
| 📦maude_3.4.orig.tar.gz | 2.54M | Sun Apr 07 2024 |
| 📦maude_3.5.1-1.debian.tar.xz | 6.43K | Sat Oct 25 2025 |
| 📄maude_3.5.1-1.dsc | 1.4K | Sat Oct 25 2025 |
| 📦maude_3.5.1-1_amd64.deb | 1.2M | Sat Oct 25 2025 |
| 📦maude_3.5.1-1_i386.deb | 1.28M | Sat Oct 25 2025 |
| 📦maude_3.5.1.orig.tar.gz | 2.14M | Sat Oct 25 2025 |