=> Bootstrap dependency digest>=20010302: found digest-20121220 => Fetching Maude-2.6.tar.gz => Total size: 1600026 bytes fetch: http://www.minix3.org//distfiles-backup/Maude-2.6.tar.gz: Not Found fetch: Unable to fetch expected file Maude-2.6.tar.gz Maude-2.6.tar.gz Maude-2.6.tar.gz 0% of 1562 kB ?? Bps Maude-2.6.tar.gz 0% of 1562 kB 120 kBps Maude-2.6.tar.gz 0% of 1562 kB 43 kBps Maude-2.6.tar.gz 0% of 1562 kB 65 kBps Maude-2.6.tar.gz 1% of 1562 kB 45 kBps Maude-2.6.tar.gz 1% of 1562 kB 57 kBps Maude-2.6.tar.gz 1% of 1562 kB 68 kBps Maude-2.6.tar.gz 1% of 1562 kB 79 kBps Maude-2.6.tar.gz 2% of 1562 kB 64 kBps Maude-2.6.tar.gz 2% of 1562 kB 72 kBps Maude-2.6.tar.gz 2% of 1562 kB 80 kBps Maude-2.6.tar.gz 2% of 1562 kB 88 kBps Maude-2.6.tar.gz 3% of 1562 kB 92 kBps Maude-2.6.tar.gz 3% of 1562 kB 77 kBps Maude-2.6.tar.gz 3% of 1562 kB 83 kBps Maude-2.6.tar.gz 3% of 1562 kB 89 kBps Maude-2.6.tar.gz 4% of 1562 kB 95 kBps Maude-2.6.tar.gz 4% of 1562 kB 101 kBps Maude-2.6.tar.gz 4% of 1562 kB 107 kBps Maude-2.6.tar.gz 4% of 1562 kB 93 kBps Maude-2.6.tar.gz 5% of 1562 kB 97 kBps Maude-2.6.tar.gz 5% of 1562 kB 102 kBps Maude-2.6.tar.gz 5% of 1562 kB 107 kBps Maude-2.6.tar.gz 5% of 1562 kB 112 kBps Maude-2.6.tar.gz 6% of 1562 kB 117 kBps Maude-2.6.tar.gz 6% of 1562 kB 103 kBps Maude-2.6.tar.gz 6% of 1562 kB 107 kBps Maude-2.6.tar.gz 6% of 1562 kB 109 kBps Maude-2.6.tar.gz 7% of 1562 kB 113 kBps Maude-2.6.tar.gz 7% of 1562 kB 117 kBps Maude-2.6.tar.gz 7% of 1562 kB 122 kBps Maude-2.6.tar.gz 7% of 1562 kB 109 kBps Maude-2.6.tar.gz 8% of 1562 kB 112 kBps Maude-2.6.tar.gz 8% of 1562 kB 116 kBps Maude-2.6.tar.gz 8% of 1562 kB 120 kBps Maude-2.6.tar.gz 8% of 1562 kB 123 kBps Maude-2.6.tar.gz 9% of 1562 kB 127 kBps Maude-2.6.tar.gz 9% of 1562 kB 115 kBps Maude-2.6.tar.gz 9% of 1562 kB 118 kBps Maude-2.6.tar.gz 9% of 1562 kB 121 kBps Maude-2.6.tar.gz 10% of 1562 kB 124 kBps Maude-2.6.tar.gz 10% of 1562 kB 127 kBps Maude-2.6.tar.gz 10% of 1562 kB 130 kBps Maude-2.6.tar.gz 11% of 1562 kB 118 kBps Maude-2.6.tar.gz 11% of 1562 kB 121 kBps Maude-2.6.tar.gz 11% of 1562 kB 124 kBps Maude-2.6.tar.gz 11% of 1562 kB 126 kBps Maude-2.6.tar.gz 12% of 1562 kB 129 kBps Maude-2.6.tar.gz 12% of 1562 kB 118 kBps Maude-2.6.tar.gz 12% of 1562 kB 121 kBps Maude-2.6.tar.gz 12% of 1562 kB 123 kBps Maude-2.6.tar.gz 13% of 1562 kB 115 kBps Maude-2.6.tar.gz 13% of 1562 kB 107 kBps Maude-2.6.tar.gz 13% of 1562 kB 88 kBps Maude-2.6.tar.gz 13% of 1562 kB 75 kBps Maude-2.6.tar.gz 14% of 1562 kB 66 kBps Maude-2.6.tar.gz 14% of 1562 kB 58 kBps Maude-2.6.tar.gz 14% of 1562 kB 55 kBps Maude-2.6.tar.gz 14% of 1562 kB 52 kBps Maude-2.6.tar.gz 15% of 1562 kB 53 kBps Maude-2.6.tar.gz 15% of 1562 kB 53 kBps Maude-2.6.tar.gz 15% of 1562 kB 54 kBps Maude-2.6.tar.gz 15% of 1562 kB 53 kBps Maude-2.6.tar.gz 16% of 1562 kB 54 kBps Maude-2.6.tar.gz 16% of 1562 kB 53 kBps Maude-2.6.tar.gz 16% of 1562 kB 54 kBps Maude-2.6.tar.gz 16% of 1562 kB 55 kBps Maude-2.6.tar.gz 17% of 1562 kB 54 kBps Maude-2.6.tar.gz 17% of 1562 kB 55 kBps Maude-2.6.tar.gz 17% of 1562 kB 56 kBps Maude-2.6.tar.gz 17% of 1562 kB 56 kBps Maude-2.6.tar.gz 18% of 1562 kB 56 kBps Maude-2.6.tar.gz 18% of 1562 kB 56 kBps Maude-2.6.tar.gz 18% of 1562 kB 57 kBps Maude-2.6.tar.gz 18% of 1562 kB 58 kBps Maude-2.6.tar.gz 19% of 1562 kB 57 kBps Maude-2.6.tar.gz 19% of 1562 kB 58 kBps Maude-2.6.tar.gz 19% of 1562 kB 58 kBps Maude-2.6.tar.gz 19% of 1562 kB 59 kBps Maude-2.6.tar.gz 20% of 1562 kB 60 kBps Maude-2.6.tar.gz 20% of 1562 kB 59 kBps Maude-2.6.tar.gz 20% of 1562 kB 59 kBps Maude-2.6.tar.gz 20% of 1562 kB 60 kBps Maude-2.6.tar.gz 21% of 1562 kB 61 kBps Maude-2.6.tar.gz 21% of 1562 kB 62 kBps Maude-2.6.tar.gz 21% of 1562 kB 61 kBps Maude-2.6.tar.gz 22% of 1562 kB 61 kBps Maude-2.6.tar.gz 22% of 1562 kB 62 kBps Maude-2.6.tar.gz 22% of 1562 kB 63 kBps Maude-2.6.tar.gz 22% of 1562 kB 62 kBps Maude-2.6.tar.gz 23% of 1562 kB 62 kBps Maude-2.6.tar.gz 23% of 1562 kB 63 kBps Maude-2.6.tar.gz 23% of 1562 kB 64 kBps Maude-2.6.tar.gz 23% of 1562 kB 65 kBps Maude-2.6.tar.gz 24% of 1562 kB 65 kBps Maude-2.6.tar.gz 24% of 1562 kB 64 kBps Maude-2.6.tar.gz 24% of 1562 kB 65 kBps Maude-2.6.tar.gz 24% of 1562 kB 66 kBps Maude-2.6.tar.gz 25% of 1562 kB 66 kBps Maude-2.6.tar.gz 25% of 1562 kB 67 kBps Maude-2.6.tar.gz 25% of 1562 kB 66 kBps Maude-2.6.tar.gz 25% of 1562 kB 67 kBps Maude-2.6.tar.gz 26% of 1562 kB 67 kBps Maude-2.6.tar.gz 26% of 1562 kB 68 kBps Maude-2.6.tar.gz 26% of 1562 kB 68 kBps Maude-2.6.tar.gz 26% of 1562 kB 69 kBps Maude-2.6.tar.gz 27% of 1562 kB 68 kBps Maude-2.6.tar.gz 27% of 1562 kB 69 kBps Maude-2.6.tar.gz 27% of 1562 kB 69 kBps Maude-2.6.tar.gz 27% of 1562 kB 70 kBps Maude-2.6.tar.gz 28% of 1562 kB 71 kBps Maude-2.6.tar.gz 28% of 1562 kB 71 kBps Maude-2.6.tar.gz 28% of 1562 kB 70 kBps Maude-2.6.tar.gz 28% of 1562 kB 71 kBps Maude-2.6.tar.gz 29% of 1562 kB 71 kBps Maude-2.6.tar.gz 29% of 1562 kB 72 kBps Maude-2.6.tar.gz 29% of 1562 kB 73 kBps Maude-2.6.tar.gz 29% of 1562 kB 72 kBps Maude-2.6.tar.gz 30% of 1562 kB 72 kBps Maude-2.6.tar.gz 30% of 1562 kB 73 kBps Maude-2.6.tar.gz 30% of 1562 kB 71 kBps Maude-2.6.tar.gz 30% of 1562 kB 72 kBps Maude-2.6.tar.gz 31% of 1562 kB 73 kBps Maude-2.6.tar.gz 31% of 1562 kB 73 kBps Maude-2.6.tar.gz 31% of 1562 kB 74 kBps Maude-2.6.tar.gz 31% of 1562 kB 74 kBps Maude-2.6.tar.gz 32% of 1562 kB 75 kBps Maude-2.6.tar.gz 32% of 1562 kB 72 kBps Maude-2.6.tar.gz 32% of 1562 kB 73 kBps Maude-2.6.tar.gz 33% of 1562 kB 72 kBps Maude-2.6.tar.gz 33% of 1562 kB 72 kBps Maude-2.6.tar.gz 33% of 1562 kB 73 kBps Maude-2.6.tar.gz 33% of 1562 kB 74 kBps Maude-2.6.tar.gz 34% of 1562 kB 72 kBps Maude-2.6.tar.gz 34% of 1562 kB 73 kBps Maude-2.6.tar.gz 34% of 1562 kB 73 kBps Maude-2.6.tar.gz 34% of 1562 kB 74 kBps Maude-2.6.tar.gz 35% of 1562 kB 73 kBps Maude-2.6.tar.gz 35% of 1562 kB 74 kBps Maude-2.6.tar.gz 35% of 1562 kB 74 kBps Maude-2.6.tar.gz 35% of 1562 kB 74 kBps Maude-2.6.tar.gz 36% of 1562 kB 74 kBps Maude-2.6.tar.gz 36% of 1562 kB 74 kBps Maude-2.6.tar.gz 36% of 1562 kB 75 kBps Maude-2.6.tar.gz 36% of 1562 kB 75 kBps Maude-2.6.tar.gz 37% of 1562 kB 76 kBps Maude-2.6.tar.gz 37% of 1562 kB 75 kBps Maude-2.6.tar.gz 37% of 1562 kB 75 kBps Maude-2.6.tar.gz 37% of 1562 kB 76 kBps Maude-2.6.tar.gz 38% of 1562 kB 76 kBps Maude-2.6.tar.gz 38% of 1562 kB 75 kBps Maude-2.6.tar.gz 38% of 1562 kB 76 kBps Maude-2.6.tar.gz 38% of 1562 kB 76 kBps Maude-2.6.tar.gz 39% of 1562 kB 76 kBps Maude-2.6.tar.gz 39% of 1562 kB 77 kBps Maude-2.6.tar.gz 39% of 1562 kB 76 kBps Maude-2.6.tar.gz 39% of 1562 kB 77 kBps Maude-2.6.tar.gz 40% of 1562 kB 77 kBps Maude-2.6.tar.gz 40% of 1562 kB 78 kBps Maude-2.6.tar.gz 40% of 1562 kB 78 kBps Maude-2.6.tar.gz 40% of 1562 kB 79 kBps Maude-2.6.tar.gz 41% of 1562 kB 78 kBps Maude-2.6.tar.gz 41% of 1562 kB 78 kBps Maude-2.6.tar.gz 41% of 1562 kB 78 kBps Maude-2.6.tar.gz 41% of 1562 kB 79 kBps Maude-2.6.tar.gz 42% of 1562 kB 78 kBps Maude-2.6.tar.gz 42% of 1562 kB 78 kBps Maude-2.6.tar.gz 42% of 1562 kB 79 kBps Maude-2.6.tar.gz 43% of 1562 kB 79 kBps Maude-2.6.tar.gz 43% of 1562 kB 80 kBps Maude-2.6.tar.gz 43% of 1562 kB 80 kBps Maude-2.6.tar.gz 43% of 1562 kB 79 kBps Maude-2.6.tar.gz 44% of 1562 kB 80 kBps Maude-2.6.tar.gz 44% of 1562 kB 80 kBps Maude-2.6.tar.gz 44% of 1562 kB 81 kBps Maude-2.6.tar.gz 44% of 1562 kB 81 kBps Maude-2.6.tar.gz 45% of 1562 kB 82 kBps Maude-2.6.tar.gz 45% of 1562 kB 82 kBps Maude-2.6.tar.gz 45% of 1562 kB 81 kBps Maude-2.6.tar.gz 45% of 1562 kB 81 kBps Maude-2.6.tar.gz 46% of 1562 kB 82 kBps Maude-2.6.tar.gz 46% of 1562 kB 82 kBps Maude-2.6.tar.gz 46% of 1562 kB 83 kBps Maude-2.6.tar.gz 46% of 1562 kB 83 kBps Maude-2.6.tar.gz 47% of 1562 kB 82 kBps Maude-2.6.tar.gz 47% of 1562 kB 83 kBps Maude-2.6.tar.gz 47% of 1562 kB 83 kBps Maude-2.6.tar.gz 47% of 1562 kB 84 kBps Maude-2.6.tar.gz 48% of 1562 kB 84 kBps Maude-2.6.tar.gz 48% of 1562 kB 84 kBps Maude-2.6.tar.gz 48% of 1562 kB 83 kBps Maude-2.6.tar.gz 48% of 1562 kB 84 kBps Maude-2.6.tar.gz 49% of 1562 kB 84 kBps Maude-2.6.tar.gz 49% of 1562 kB 85 kBps Maude-2.6.tar.gz 49% of 1562 kB 85 kBps Maude-2.6.tar.gz 49% of 1562 kB 86 kBps Maude-2.6.tar.gz 50% of 1562 kB 86 kBps Maude-2.6.tar.gz 50% of 1562 kB 85 kBps Maude-2.6.tar.gz 50% of 1562 kB 85 kBps Maude-2.6.tar.gz 50% of 1562 kB 86 kBps Maude-2.6.tar.gz 51% of 1562 kB 86 kBps Maude-2.6.tar.gz 51% of 1562 kB 87 kBps Maude-2.6.tar.gz 51% of 1562 kB 87 kBps Maude-2.6.tar.gz 51% of 1562 kB 86 kBps Maude-2.6.tar.gz 52% of 1562 kB 87 kBps Maude-2.6.tar.gz 52% of 1562 kB 87 kBps Maude-2.6.tar.gz 52% of 1562 kB 87 kBps Maude-2.6.tar.gz 52% of 1562 kB 88 kBps Maude-2.6.tar.gz 53% of 1562 kB 88 kBps Maude-2.6.tar.gz 53% of 1562 kB 87 kBps Maude-2.6.tar.gz 53% of 1562 kB 88 kBps Maude-2.6.tar.gz 54% of 1562 kB 88 kBps Maude-2.6.tar.gz 54% of 1562 kB 88 kBps Maude-2.6.tar.gz 54% of 1562 kB 89 kBps Maude-2.6.tar.gz 54% of 1562 kB 89 kBps Maude-2.6.tar.gz 55% of 1562 kB 88 kBps Maude-2.6.tar.gz 55% of 1562 kB 89 kBps Maude-2.6.tar.gz 55% of 1562 kB 89 kBps Maude-2.6.tar.gz 55% of 1562 kB 89 kBps Maude-2.6.tar.gz 56% of 1562 kB 90 kBps Maude-2.6.tar.gz 56% of 1562 kB 90 kBps Maude-2.6.tar.gz 56% of 1562 kB 89 kBps Maude-2.6.tar.gz 56% of 1562 kB 90 kBps Maude-2.6.tar.gz 57% of 1562 kB 90 kBps Maude-2.6.tar.gz 57% of 1562 kB 90 kBps Maude-2.6.tar.gz 57% of 1562 kB 91 kBps Maude-2.6.tar.gz 57% of 1562 kB 91 kBps Maude-2.6.tar.gz 58% of 1562 kB 90 kBps 00m07s Maude-2.6.tar.gz 58% of 1562 kB 91 kBps 00m07s Maude-2.6.tar.gz 58% of 1562 kB 91 kBps 00m07s Maude-2.6.tar.gz 58% of 1562 kB 91 kBps 00m06s Maude-2.6.tar.gz 59% of 1562 kB 92 kBps 00m06s Maude-2.6.tar.gz 59% of 1562 kB 92 kBps 00m06s Maude-2.6.tar.gz 59% of 1562 kB 91 kBps 00m06s Maude-2.6.tar.gz 59% of 1562 kB 92 kBps 00m06s Maude-2.6.tar.gz 60% of 1562 kB 92 kBps 00m06s Maude-2.6.tar.gz 60% of 1562 kB 92 kBps 00m06s Maude-2.6.tar.gz 60% of 1562 kB 93 kBps 00m06s Maude-2.6.tar.gz 60% of 1562 kB 93 kBps 00m06s Maude-2.6.tar.gz 61% of 1562 kB 92 kBps 00m06s Maude-2.6.tar.gz 61% of 1562 kB 93 kBps 00m06s Maude-2.6.tar.gz 61% of 1562 kB 93 kBps 00m06s Maude-2.6.tar.gz 61% of 1562 kB 93 kBps 00m06s Maude-2.6.tar.gz 62% of 1562 kB 94 kBps 00m06s Maude-2.6.tar.gz 62% of 1562 kB 94 kBps 00m06s Maude-2.6.tar.gz 62% of 1562 kB 93 kBps 00m05s Maude-2.6.tar.gz 62% of 1562 kB 94 kBps 00m05s Maude-2.6.tar.gz 63% of 1562 kB 94 kBps 00m05s Maude-2.6.tar.gz 63% of 1562 kB 94 kBps 00m05s Maude-2.6.tar.gz 63% of 1562 kB 95 kBps 00m05s Maude-2.6.tar.gz 63% of 1562 kB 95 kBps 00m05s Maude-2.6.tar.gz 64% of 1562 kB 94 kBps 00m05s Maude-2.6.tar.gz 64% of 1562 kB 94 kBps 00m05s Maude-2.6.tar.gz 64% of 1562 kB 95 kBps 00m05s Maude-2.6.tar.gz 65% of 1562 kB 95 kBps 00m05s Maude-2.6.tar.gz 65% of 1562 kB 96 kBps 00m05s Maude-2.6.tar.gz 65% of 1562 kB 96 kBps 00m05s Maude-2.6.tar.gz 65% of 1562 kB 95 kBps 00m05s Maude-2.6.tar.gz 66% of 1562 kB 95 kBps 00m05s Maude-2.6.tar.gz 66% of 1562 kB 96 kBps 00m05s Maude-2.6.tar.gz 66% of 1562 kB 96 kBps 00m05s Maude-2.6.tar.gz 66% of 1562 kB 96 kBps 00m04s Maude-2.6.tar.gz 67% of 1562 kB 97 kBps 00m04s Maude-2.6.tar.gz 67% of 1562 kB 97 kBps 00m04s Maude-2.6.tar.gz 67% of 1562 kB 96 kBps 00m05s Maude-2.6.tar.gz 67% of 1562 kB 96 kBps 00m05s Maude-2.6.tar.gz 68% of 1562 kB 97 kBps 00m05s Maude-2.6.tar.gz 68% of 1562 kB 97 kBps 00m05s Maude-2.6.tar.gz 68% of 1562 kB 98 kBps 00m05s Maude-2.6.tar.gz 68% of 1562 kB 98 kBps 00m04s Maude-2.6.tar.gz 69% of 1562 kB 98 kBps 00m04s Maude-2.6.tar.gz 69% of 1562 kB 97 kBps 00m04s Maude-2.6.tar.gz 69% of 1562 kB 98 kBps 00m04s Maude-2.6.tar.gz 69% of 1562 kB 98 kBps 00m04s Maude-2.6.tar.gz 70% of 1562 kB 98 kBps 00m04s Maude-2.6.tar.gz 70% of 1562 kB 97 kBps 00m04s Maude-2.6.tar.gz 70% of 1562 kB 97 kBps 00m04s Maude-2.6.tar.gz 70% of 1562 kB 98 kBps 00m04s Maude-2.6.tar.gz 71% of 1562 kB 98 kBps 00m04s Maude-2.6.tar.gz 71% of 1562 kB 99 kBps 00m04s Maude-2.6.tar.gz 71% of 1562 kB 98 kBps 00m04s Maude-2.6.tar.gz 71% of 1562 kB 97 kBps 00m04s Maude-2.6.tar.gz 72% of 1562 kB 97 kBps 00m04s Maude-2.6.tar.gz 72% of 1562 kB 97 kBps 00m04s Maude-2.6.tar.gz 72% of 1562 kB 96 kBps 00m04s Maude-2.6.tar.gz 72% of 1562 kB 97 kBps 00m04s Maude-2.6.tar.gz 73% of 1562 kB 96 kBps 00m04s Maude-2.6.tar.gz 73% of 1562 kB 96 kBps 00m03s Maude-2.6.tar.gz 73% of 1562 kB 97 kBps 00m03s Maude-2.6.tar.gz 73% of 1562 kB 97 kBps 00m03s Maude-2.6.tar.gz 74% of 1562 kB 96 kBps 00m04s Maude-2.6.tar.gz 74% of 1562 kB 96 kBps 00m04s Maude-2.6.tar.gz 74% of 1562 kB 97 kBps 00m04s Maude-2.6.tar.gz 75% of 1562 kB 96 kBps 00m03s Maude-2.6.tar.gz 75% of 1562 kB 96 kBps 00m03s Maude-2.6.tar.gz 75% of 1562 kB 96 kBps 00m03s Maude-2.6.tar.gz 75% of 1562 kB 97 kBps 00m03s Maude-2.6.tar.gz 76% of 1562 kB 96 kBps 00m03s Maude-2.6.tar.gz 76% of 1562 kB 96 kBps 00m03s Maude-2.6.tar.gz 76% of 1562 kB 96 kBps 00m03s Maude-2.6.tar.gz 76% of 1562 kB 97 kBps 00m03s Maude-2.6.tar.gz 77% of 1562 kB 96 kBps 00m03s Maude-2.6.tar.gz 77% of 1562 kB 96 kBps 00m03s Maude-2.6.tar.gz 77% of 1562 kB 96 kBps 00m03s Maude-2.6.tar.gz 77% of 1562 kB 97 kBps 00m03s Maude-2.6.tar.gz 78% of 1562 kB 97 kBps 00m03s Maude-2.6.tar.gz 78% of 1562 kB 96 kBps 00m03s Maude-2.6.tar.gz 78% of 1562 kB 96 kBps 00m03s Maude-2.6.tar.gz 78% of 1562 kB 97 kBps 00m03s Maude-2.6.tar.gz 79% of 1562 kB 97 kBps 00m03s Maude-2.6.tar.gz 79% of 1562 kB 97 kBps 00m03s Maude-2.6.tar.gz 79% of 1562 kB 97 kBps 00m03s Maude-2.6.tar.gz 79% of 1562 kB 97 kBps 00m03s Maude-2.6.tar.gz 80% of 1562 kB 97 kBps 00m02s Maude-2.6.tar.gz 80% of 1562 kB 97 kBps 00m02s Maude-2.6.tar.gz 80% of 1562 kB 98 kBps 00m02s Maude-2.6.tar.gz 80% of 1562 kB 97 kBps 00m03s Maude-2.6.tar.gz 81% of 1562 kB 97 kBps 00m03s Maude-2.6.tar.gz 81% of 1562 kB 97 kBps 00m02s Maude-2.6.tar.gz 81% of 1562 kB 98 kBps 00m02s Maude-2.6.tar.gz 81% of 1562 kB 97 kBps 00m02s Maude-2.6.tar.gz 82% of 1562 kB 97 kBps 00m02s Maude-2.6.tar.gz 82% of 1562 kB 98 kBps 00m02s Maude-2.6.tar.gz 82% of 1562 kB 98 kBps 00m02s Maude-2.6.tar.gz 82% of 1562 kB 98 kBps 00m02s Maude-2.6.tar.gz 83% of 1562 kB 97 kBps 00m02s Maude-2.6.tar.gz 83% of 1562 kB 98 kBps 00m02s Maude-2.6.tar.gz 83% of 1562 kB 98 kBps 00m02s Maude-2.6.tar.gz 83% of 1562 kB 98 kBps 00m02s Maude-2.6.tar.gz 84% of 1562 kB 98 kBps 00m02s Maude-2.6.tar.gz 84% of 1562 kB 98 kBps 00m02s Maude-2.6.tar.gz 84% of 1562 kB 98 kBps 00m02s Maude-2.6.tar.gz 84% of 1562 kB 98 kBps 00m02s Maude-2.6.tar.gz 85% of 1562 kB 99 kBps 00m02s Maude-2.6.tar.gz 85% of 1562 kB 99 kBps 00m02s Maude-2.6.tar.gz 85% of 1562 kB 99 kBps 00m02s Maude-2.6.tar.gz 86% of 1562 kB 98 kBps 00m02s Maude-2.6.tar.gz 86% of 1562 kB 98 kBps 00m02s Maude-2.6.tar.gz 86% of 1562 kB 99 kBps 00m02s Maude-2.6.tar.gz 86% of 1562 kB 98 kBps 00m01s Maude-2.6.tar.gz 87% of 1562 kB 98 kBps 00m01s Maude-2.6.tar.gz 87% of 1562 kB 99 kBps 00m01s Maude-2.6.tar.gz 87% of 1562 kB 99 kBps 00m01s Maude-2.6.tar.gz 87% of 1562 kB 99 kBps 00m01s Maude-2.6.tar.gz 88% of 1562 kB 99 kBps 00m01s Maude-2.6.tar.gz 88% of 1562 kB 99 kBps 00m01s Maude-2.6.tar.gz 88% of 1562 kB 98 kBps 00m01s Maude-2.6.tar.gz 88% of 1562 kB 98 kBps 00m01s Maude-2.6.tar.gz 89% of 1562 kB 97 kBps 00m01s Maude-2.6.tar.gz 89% of 1562 kB 98 kBps 00m01s Maude-2.6.tar.gz 89% of 1562 kB 98 kBps 00m01s Maude-2.6.tar.gz 89% of 1562 kB 97 kBps 00m01s Maude-2.6.tar.gz 90% of 1562 kB 97 kBps 00m01s Maude-2.6.tar.gz 90% of 1562 kB 98 kBps 00m01s Maude-2.6.tar.gz 90% of 1562 kB 97 kBps 00m01s Maude-2.6.tar.gz 90% of 1562 kB 97 kBps 00m01s Maude-2.6.tar.gz 91% of 1562 kB 97 kBps 00m01s Maude-2.6.tar.gz 91% of 1562 kB 98 kBps 00m01s Maude-2.6.tar.gz 91% of 1562 kB 97 kBps 00m01s Maude-2.6.tar.gz 91% of 1562 kB 97 kBps 00m01s Maude-2.6.tar.gz 92% of 1562 kB 97 kBps 00m01s Maude-2.6.tar.gz 92% of 1562 kB 98 kBps 00m01s Maude-2.6.tar.gz 92% of 1562 kB 97 kBps 00m01s Maude-2.6.tar.gz 92% of 1562 kB 97 kBps 00m01s Maude-2.6.tar.gz 93% of 1562 kB 97 kBps 00m01s Maude-2.6.tar.gz 93% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 93% of 1562 kB 97 kBps 00m01s Maude-2.6.tar.gz 93% of 1562 kB 97 kBps 00m00s Maude-2.6.tar.gz 94% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 94% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 94% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 94% of 1562 kB 97 kBps 00m00s Maude-2.6.tar.gz 95% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 95% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 95% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 95% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 96% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 96% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 96% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 97% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 97% of 1562 kB 99 kBps 00m00s Maude-2.6.tar.gz 97% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 97% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 98% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 98% of 1562 kB 99 kBps 00m00s Maude-2.6.tar.gz 98% of 1562 kB 99 kBps 00m00s Maude-2.6.tar.gz 98% of 1562 kB 99 kBps 00m00s Maude-2.6.tar.gz 99% of 1562 kB 98 kBps 00m00s Maude-2.6.tar.gz 99% of 1562 kB 99 kBps 00m00s Maude-2.6.tar.gz 99% of 1562 kB 99 kBps 00m00s Maude-2.6.tar.gz 99% of 1562 kB 99 kBps 00m00s Maude-2.6.tar.gz 100% of 1562 kB 99 kBps 00m00s 99 kB 99 kBps => Checksum SHA1 OK for Maude-2.6.tar.gz => Checksum RMD160 OK for Maude-2.6.tar.gz