| Name | Last Modified | Size | Type |
|---|---|---|---|
| Parent Directory/ | - | Directory | |
| maude_2.7-2+b2_amd64.deb | 2022-Apr-11 11:27:41 | 802.1K | application/vnd.debian.binary-package |
| maude_2.7-2+b2_i386.deb | 2022-Apr-11 11:25:16 | 856.6K | application/vnd.debian.binary-package |
| maude_2.7-2.debian.tar.xz | 2022-Apr-11 11:26:04 | 6.5K | application/x-xz |
| maude_2.7-2.dsc | 2022-Apr-11 11:26:04 | 1.9K | application/octet-stream |
| maude_2.7.orig.tar.gz | 2022-Apr-11 11:26:04 | 1.6M | application/gzip |