![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | maude_2.7-2+b1_amd64.deb | 2017-03-16 10:40 | 796K | |
![]() | maude_2.7-2+b1_armhf.deb | 2017-03-16 20:30 | 666K | |
![]() | maude_2.7-2+b1_i386.deb | 2017-03-16 10:55 | 853K | |
![]() | maude_2.7-2.debian.tar.xz | 2016-04-05 14:26 | 6.6K | |
![]() | maude_2.7-2.dsc | 2016-04-05 14:26 | 2.0K | |
![]() | maude_2.7.orig.tar.gz | 2015-12-17 03:36 | 1.6M | |