Packages / Alpine Linux 3.23 / idris2

[Source: idris2]

Package: idris2 (0.7.0-r7)

Linguaggio di programmazione puramente funzionale con tipi di prima classe

Other Packages Related to idris2:

  • dep: [chez-scheme]

    Compilatore Cisco R6RS Scheme

  • dep: [gmp-dev]

    libreria libera per aritmetica a precisione arbitraria (file di sviluppo)

  • dep: so:libc.musl-aarch64.so.1

    Package not available

Download idris2

ArchitecturePackage sizeInstalled sizeFilesPackage
aarch6420 MiB94 MiBlist of filesNot published
x86_6420 MiB94 MiBlist of filesNot published

Copertura file (non osservata)

The active import did not include the repository's package-file index (Debian Contents for this cohort). This is missing coverage, not an observation that the package contains or installs zero files.

No package-associated file paths were observed for the displayed build metadata.

Field source: Alpine Linux 3.23 community aarch64

Versioni, suite e repository

Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
0.7.0-r7v3.23 / communityaarch64Alpine Linux 3.23 · community · aarch6420 MiB94 MiBNot reported
0.7.0-r7v3.23 / communityx86_64Alpine Linux 3.23 · community · x86_6420 MiB94 MiBNot reported

Field source: Alpine Linux 3.23 community aarch64

Vulnerabilità note

Nessun avviso corrispondente nelle fonti monitorate.

Ultima sincronizzazione:

[Catalogo CVE]

Checksum

Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.

0.7.0-r7 / aarch64Osservato Sep 1, 2026apk-checksum Q1rkKdOydnFJ…sEJMHbc=Impronta della fonte

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Impronta della fonte (apk-checksum): Q1rkKdOydnFJFwmX32XSW3sEJMHbc=

Field source: Alpine Linux 3.23 community aarch64

0.7.0-r7 / x86_64Osservato Sep 1, 2026apk-checksum Q1Cbw/nM7TuU…19kWZuQ=Impronta della fonte

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Impronta della fonte (apk-checksum): Q1Cbw/nM7TuUiYupt/yPOg19kWZuQ=

Field source: Alpine Linux 3.23 community x86_64

Fonti

  • Alpine Linux 3.23 community aarch64Sep 1, 2026

    Authoritative source; repository metadata signature verified

    Prova della firma

    v3-23-community-aarch64:9d4d5738ce344f6ec950cf8aa259d9bc21eafa803fab1bb0c1e6a8fbc90ea2ea

    Repository-signature verification record
    Signed-object SHA-256
    02d9f1e388110632b9800d2af508ed93384639622858cd16d0809803579468e2
    Keyring revision
    alpine-aarch64
    SHA-256 776977684fe729c59796fb6fc0279858c44c1195302892a8da4bbb3ee167e67f
    Tool and policy
    1
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
  • Alpine Linux 3.23 community x86_64Sep 1, 2026

    Authoritative source; repository metadata signature verified

    Prova della firma

    v3-23-community-x86-64:593675b29d97519f9b0067c786106f4eaad38b1adf120dbc952a7e6eec9e7c70

    Repository-signature verification record
    Signed-object SHA-256
    0f6caafa33babbeb740964ae2865cb4b365c5d32dd4162857a2d264e7afcb1c9
    Keyring revision
    alpine-x86_64
    SHA-256 203c4f30dddf6b0661bdf0255ddc5b7e2f703f580ae61791f00f81945132b509
    Tool and policy
    1
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026