| Name ↑ | Last modified | Size | ||
|---|---|---|---|---|
| Parent Directory | - | - | ||
| maude_3.1-2.debian.tar.xz | 15-Dec-2020 16:47 | 6.6 KiB | ||
| maude_3.1-2.dsc | 15-Dec-2020 16:47 | 2.0 KiB | ||
| maude_3.1-2_amd64.deb | 15-Dec-2020 17:27 | 1004 KiB | ||
| maude_3.1-2_i386.deb | 15-Dec-2020 17:42 | 1.1 MiB | ||
| maude_3.1.orig.tar.gz | 31-Oct-2020 13:56 | 2.2 MiB | ||
| maude_3.2-2.debian.tar.xz | 12-Jul-2022 14:29 | 7.1 KiB | ||
| maude_3.2-2.dsc | 12-Jul-2022 14:29 | 2.0 KiB | ||
| maude_3.2-2_amd64.deb | 12-Jul-2022 15:14 | 1.0 MiB | ||
| maude_3.2-2_i386.deb | 12-Jul-2022 14:59 | 1.1 MiB | ||
| maude_3.2.orig.tar.gz | 19-Feb-2022 20:47 | 2.3 MiB | ||
| maude_3.4-1.debian.tar.xz | 07-Apr-2024 11:01 | 6.4 KiB | ||
| maude_3.4-1.dsc | 07-Apr-2024 11:01 | 1.4 KiB | ||
| maude_3.4-1_amd64.deb | 07-Apr-2024 11:32 | 1.1 MiB | ||
| maude_3.4.orig.tar.gz | 07-Apr-2024 11:01 | 2.5 MiB | ||
| maude_3.5.1-1.debian.tar.xz | 25-Oct-2025 11:28 | 6.4 KiB | ||
| maude_3.5.1-1.dsc | 25-Oct-2025 11:28 | 1.4 KiB | ||
| maude_3.5.1-1_amd64.deb | 25-Oct-2025 12:00 | 1.2 MiB | ||
| maude_3.5.1-1_i386.deb | 25-Oct-2025 12:00 | 1.3 MiB | ||
| maude_3.5.1.orig.tar.gz | 25-Oct-2025 11:28 | 2.1 MiB | ||