| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 maude_2.7-2+b2_amd64.deb | 821376 bytes | 2022-04-11 03:27:41 |
| 📄 maude_2.7-2+b2_i386.deb | 877240 bytes | 2022-04-11 03:25:16 |
| 📄 maude_2.7-2.debian.tar.xz | 6736 bytes | 2022-04-11 03:26:04 |
| 📄 maude_2.7-2.dsc | 2007 bytes | 2022-04-11 03:26:04 |
| 📄 maude_2.7.orig.tar.gz | 1663708 bytes | 2022-04-11 03:26:04 |