Files named idris2-doc-0.7.0-r7.apk

debian.snxi.de · idris2-doc-0.7.0-r7.apk

France · OVH SAS

SHA1: eab7b107a5390bea2f00e762ab7d9af5ff7cab20
SHA256: 0a29eb9c798f7744a67fa928a788a54d87c2ec1d6edd0a1079cf6f325038ba0c
application/octet-stream
3.48MB
2025-05-13 12:45:24 +0000 UTC

alpine.jamko.ir · idris2-doc-0.7.0-r7.apk

/edge/community/loongarch64/

Iran · Computer Research Center of Islamic Sciences

SHA1: f1f05494dc91857dd92c68b6003b2670dcf6584f
SHA256: badb639aea015c211010c3648ab11b3ce13bccec0d53960367eb9a39405b5b83
application/octet-stream
3.48MB
2025-05-12 15:35:20 +0000 UTC

alpine.jamko.ir · idris2-doc-0.7.0-r7.apk

/edge/community/loongarch64/

Iran · Computer Research Center of Islamic Sciences

SHA1: f1f05494dc91857dd92c68b6003b2670dcf6584f
SHA256: badb639aea015c211010c3648ab11b3ce13bccec0d53960367eb9a39405b5b83
application/octet-stream
3.48MB
2025-05-12 15:35:20 +0000 UTC

mirror.ette.biz · idris2-doc-0.7.0-r7.apk

/alpine/edge/community/loongarch64/

United States · COGENT-174

SHA1: f1f05494dc91857dd92c68b6003b2670dcf6584f
SHA256: badb639aea015c211010c3648ab11b3ce13bccec0d53960367eb9a39405b5b83
application/octet-stream
3.48MB
2025-05-12 15:35:20 +0000 UTC

mirror.ette.biz · idris2-doc-0.7.0-r7.apk

/alpine/edge/community/aarch64/

United States · COGENT-174

SHA1: d2a0467e6c35307e599c54ea110613b01489fbc7
SHA256: 3e4207bc19f29069452bbab1c5306e2f17ac427a2fbed9888588062a43a3fa51
application/octet-stream
3.48MB
2025-05-13 12:45:24 +0000 UTC

mirror.tinc.gmbh · idris2-doc-0.7.0-r7.apk

/alpine/latest-stable/community/armv7/

Germany · The Infrastructure Company GmbH

SHA1: c8ab8fcfdd76dd09e05ac2827ca26799490bb686
SHA256: e48d7741efb6b72bbae188835ecb449a3b1d7b05473058613ad22595a7d83aaf
application/octet-stream
3.48MB
2025-05-26 04:10:06 +0000 UTC

mirror.tinc.gmbh · idris2-doc-0.7.0-r7.apk

/alpine/latest-stable/community/armv7/

Germany · The Infrastructure Company GmbH

SHA1: c8ab8fcfdd76dd09e05ac2827ca26799490bb686
SHA256: e48d7741efb6b72bbae188835ecb449a3b1d7b05473058613ad22595a7d83aaf
application/octet-stream
3.48MB
2025-05-26 04:10:06 +0000 UTC

mirror.tinc.gmbh · idris2-doc-0.7.0-r7.apk

/alpine/latest-stable/community/armhf/

Germany · The Infrastructure Company GmbH

SHA1: 2052c8809e9e10c9d528d60768475f570036f07c
SHA256: 02947b0859d8d08a821cbc5621eec778ef47256b5b23c601beb9a2d91de53ce2
application/octet-stream
3.48MB
2025-05-21 03:39:37 +0000 UTC

mirror.tinc.gmbh · idris2-doc-0.7.0-r7.apk

/alpine/latest-stable/community/armhf/

Germany · The Infrastructure Company GmbH

SHA1: 2052c8809e9e10c9d528d60768475f570036f07c
SHA256: 02947b0859d8d08a821cbc5621eec778ef47256b5b23c601beb9a2d91de53ce2
application/octet-stream
3.48MB
2025-05-21 03:39:37 +0000 UTC

mirror.fit.cvut.cz · idris2-doc-0.7.0-r7.apk

/alpine/edge/community/loongarch64/

Czechia · CESNET z.s.p.o.

SHA1: f1f05494dc91857dd92c68b6003b2670dcf6584f
SHA256: badb639aea015c211010c3648ab11b3ce13bccec0d53960367eb9a39405b5b83
application/octet-stream
3.48MB
2025-05-12 15:35:20 +0000 UTC

mirror.ette.biz · idris2-doc-0.7.0-r7.apk

/alpine/edge/community/aarch64/

United States · COGENT-174

SHA1: eab7b107a5390bea2f00e762ab7d9af5ff7cab20
SHA256: 0a29eb9c798f7744a67fa928a788a54d87c2ec1d6edd0a1079cf6f325038ba0c
application/octet-stream
3.48MB
2025-05-13 12:45:24 +0000 UTC

mirror.phys.ethz.ch · idris2-doc-0.7.0-r7.apk

/alpine/edge/community/aarch64/

Switzerland · SWITCH

SHA1: eab7b107a5390bea2f00e762ab7d9af5ff7cab20
SHA256: 0a29eb9c798f7744a67fa928a788a54d87c2ec1d6edd0a1079cf6f325038ba0c
application/vnd.android.package-archive
3.48MB
2025-05-13 12:45:24 +0000 UTC

forward1.remdesvip.ir · idris2-doc-0.7.0-r7.apk

/alpine/edge/community/aarch64/

United Kingdom · DIGITALOCEAN-ASN

SHA1: eab7b107a5390bea2f00e762ab7d9af5ff7cab20
SHA256: 0a29eb9c798f7744a67fa928a788a54d87c2ec1d6edd0a1079cf6f325038ba0c
application/vnd.android.package-archive
3.48MB
2025-05-13 12:45:24 +0000 UTC

load5.tehremdes.ir · idris2-doc-0.7.0-r7.apk

/alpine/edge/community/aarch64/

United Kingdom · DIGITALOCEAN-ASN

SHA1: eab7b107a5390bea2f00e762ab7d9af5ff7cab20
SHA256: 0a29eb9c798f7744a67fa928a788a54d87c2ec1d6edd0a1079cf6f325038ba0c
application/vnd.android.package-archive
3.48MB
2025-05-13 12:45:24 +0000 UTC

pub-mirror.lsncorp.net · idris2-doc-0.7.0-r7.apk

/alpine/edge/community/aarch64/

United States · LIMESTONENETWORKS

SHA1: eab7b107a5390bea2f00e762ab7d9af5ff7cab20
SHA256: 0a29eb9c798f7744a67fa928a788a54d87c2ec1d6edd0a1079cf6f325038ba0c
application/vnd.android.package-archive
3.48MB
2025-05-13 12:45:24 +0000 UTC

alpinelinux.c3sl.ufpr.br · idris2-doc-0.7.0-r7.apk

/edge/community/aarch64/

Brazil · Fundacao da UFPR para o DCTC

SHA1: eab7b107a5390bea2f00e762ab7d9af5ff7cab20
SHA256: 0a29eb9c798f7744a67fa928a788a54d87c2ec1d6edd0a1079cf6f325038ba0c
application/vnd.android.package-archive
3.48MB
2025-05-13 12:45:24 +0000 UTC

alpinelinux.c3sl.ufpr.br · idris2-doc-0.7.0-r7.apk

/edge/community/aarch64/

Brazil · Fundacao da UFPR para o DCTC

SHA1: eab7b107a5390bea2f00e762ab7d9af5ff7cab20
SHA256: 0a29eb9c798f7744a67fa928a788a54d87c2ec1d6edd0a1079cf6f325038ba0c
application/vnd.android.package-archive
3.48MB
2025-05-13 12:45:24 +0000 UTC

mirror.neolabs.kz · idris2-doc-0.7.0-r7.apk

/alpine/edge/community/aarch64/

Kazakhstan · PS Internet Company LLP

SHA1: eab7b107a5390bea2f00e762ab7d9af5ff7cab20
SHA256: 0a29eb9c798f7744a67fa928a788a54d87c2ec1d6edd0a1079cf6f325038ba0c
application/octet-stream
3.48MB
2025-05-13 12:45:24 +0000 UTC

alpine.mirror.ni.sb · idris2-doc-0.7.0-r7.apk

/edge/community/aarch64/

· CLOUDFLARENET

SHA1: eab7b107a5390bea2f00e762ab7d9af5ff7cab20
SHA256: 0a29eb9c798f7744a67fa928a788a54d87c2ec1d6edd0a1079cf6f325038ba0c
application/octet-stream
3.48MB
2025-05-13 12:45:24 +0000 UTC

mirrors.mre.agoralab.co · idris2-doc-0.7.0-r7.apk

/alpine/edge/community/aarch64/

United States · ZEN-ECN

SHA1: eab7b107a5390bea2f00e762ab7d9af5ff7cab20
SHA256: 0a29eb9c798f7744a67fa928a788a54d87c2ec1d6edd0a1079cf6f325038ba0c
application/octet-stream
3.48MB
2025-05-13 12:45:24 +0000 UTC