![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | maude_2.7-2+b1_mips64el.deb | 2017-03-16 17:00 | 747K | |
![]() | maude_2.7-2+b1_i386.deb | 2017-03-16 07:25 | 853K | |
![]() | maude_2.7-2+b1_amd64.deb | 2017-03-16 07:10 | 796K | |
![]() | maude_2.7-2+b1_ppc64el.deb | 2017-03-16 05:59 | 739K | |
![]() | maude_2.7-2+b1_arm64.deb | 2017-03-16 04:42 | 696K | |
![]() | maude_2.7-2.debian.tar.xz | 2016-04-05 11:56 | 6.6K | |
![]() | maude_2.7-2.dsc | 2016-04-05 11:56 | 2.0K | |
![]() | maude_2.7.orig.tar.gz | 2015-12-17 00:06 | 1.6M | |
![]() | maude_2.6-6_ppc64el.deb | 2014-10-02 10:58 | 700K | |
![]() | maude_2.6-6_arm64.deb | 2014-10-02 10:28 | 673K | |
![]() | maude_2.6-6_i386.deb | 2014-10-02 09:58 | 755K | |
![]() | maude_2.6-6.dsc | 2014-10-02 09:23 | 2.0K | |
![]() | maude_2.6-6.debian.tar.xz | 2014-10-02 09:23 | 6.6K | |
![]() | maude_2.6-6_amd64.deb | 2014-10-02 09:23 | 731K | |
![]() | maude_2.6-2_i386.deb | 2011-11-04 18:20 | 890K | |
![]() | maude_2.6-2_amd64.deb | 2011-11-04 17:33 | 915K | |
![]() | maude_2.6-2.dsc | 2011-11-04 17:33 | 1.4K | |
![]() | maude_2.6-2.debian.tar.gz | 2011-11-04 17:33 | 4.9K | |
![]() | maude_2.6.orig.tar.gz | 2011-04-09 16:47 | 1.5M | |