Flyology packages

Flyology Alire index.

Packages and compiler builds maintained by Flyology. This page and its JSON files are generated directly from the index manifests.

View 30 packages Download JSON
Configure Alireshell
alr index \
  --add=git+https://github.com/flyology-ada/alire-index.git \
  --name=flyology \
  --before=community

30 packages

69 manifests

29 source crates

v1.4.0 index format

Index activity

Recent changes.

Crates and versions recently added or updated in this index.

View the detailed change history

Package list

Indexed packages.

Search by name, description, version, or tag. Each package includes its dependencies, origin, availability rules, and complete parsed manifest.

Showing all 30 packages

flyology 0.2.0 Experimental GNAT runtime extension for native and lightweight Ada tasks
Source WebsiteRepository Crate page Version page JSON

0.2.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
(MIT OR Apache-2.0) AND GPL-3.0-or-later WITH GCC-exception-3.1
Source revision
2d0f3132fe5e
Tags
ada, runtime, event-loop, concurrency, lightweight, spark
Project files
flyology.gpr
Availability
{"case(os)": {"...": false, "linux|macos": true}}
Manifest
index/fl/flyology/flyology-0.2.0.toml
Build and platform metadata 2 fields
Environment
{
  "FLYOLOGY_ROOT": {
    "set": "${CRATE_ROOT}"
  },
  "GPR_CONFIG": {
    "set": "${CRATE_ROOT}/build/flyology.cgpr"
  }
}
Actions
[
  {
    "command": [
      "./scripts/prepare-alire-rts.sh"
    ],
    "type": "pre-build"
  },
  {
    "command": [
      "./scripts/test.sh"
    ],
    "type": "test"
  }
]
flyology_allocators 0.1.0 Caller-owned memory allocation algorithms for Ada
Source WebsiteRepository Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
6f91b1afb27f
Source directory
flyology_allocators
Tags
ada, allocators, embedded, memory, systems
Project files
flyology_allocators.gpr
Manifest
index/fl/flyology_allocators/flyology_allocators-0.1.0.toml
Build and platform metadata 2 fields
Build switches
{
  "*": {
    "Compile_Checks": "warnings"
  }
}
Actions
[
  {
    "command": [
      "./scripts/test.sh"
    ],
    "type": "test"
  }
]
flyology_bench 0.1.0 Adaptive nanosecond-scale benchmarking for Ada
Source WebsiteRepository Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
8e0461080e0f
Source directory
flyology_bench
Tags
ada, benchmark, performance, statistics
Project files
flyology_bench.gpr
Manifest
index/fl/flyology_bench/flyology_bench-0.1.0.toml
Build and platform metadata 1 field
Actions
[
  {
    "command": [
      "./scripts/test.sh"
    ],
    "type": "test"
  }
]
flyology_cachelines 0.1.0 Cache-line-aware storage and cache information for Ada
Source WebsiteRepository Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
8e0461080e0f
Source directory
flyology_cachelines
Tags
ada, cache, concurrency, performance, systems
Project files
flyology_cachelines.gpr
Availability
{"case(os)": {"...": false, "linux|macos": true}}
Manifest
index/fl/flyology_cachelines/flyology_cachelines-0.1.0.toml
Build and platform metadata 2 fields
Build switches
{
  "*": {
    "Compile_Checks": "warnings"
  }
}
Actions
[
  {
    "command": [
      "./scripts/test.sh"
    ],
    "type": "test"
  }
]
flyology_cli 0.1.0 Aggregate command-line tooling for Flyology projects
Source WebsiteRepository Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
c5fe7e03bcf2
Source directory
flyology_cli
Tags
ada, cli, scaffolding, flyology
Project files
flyology_cli.gpr
Executables
flyology
Manifest
index/fl/flyology_cli/flyology_cli-0.1.0.toml
Build and platform metadata 1 field
Actions
[
  {
    "command": [
      "./scripts/test.sh"
    ],
    "type": "test"
  }
]
flyology_crc 0.1.1 Fast CRC-16, CRC-32, and CRC-64 algorithms for Ada
Source Repository Crate page Version page JSON

0.1.1

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
a5cb23a28c2f
Tags
ada, crc, checksum, simd
Project files
flyology_crc.gpr
Manifest
index/fl/flyology_crc/flyology_crc-0.1.1.toml
Build and platform metadata 1 field
GPR values
{
  "case(host-arch)": {
    "aarch64": {
      "FLYOLOGY_CRC_ARCH": "aarch64"
    },
    "x86-64": {
      "FLYOLOGY_CRC_ARCH": "x86_64"
    }
  },
  "case(os)": {
    "linux": {
      "FLYOLOGY_CRC_HOST_OS": "linux"
    },
    "macos": {
      "FLYOLOGY_CRC_HOST_OS": "macos"
    }
  }
}
flyology_debug 0.1.0 Bounded in-memory tracing and gauges for Ada
Source WebsiteRepository Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
8e0461080e0f
Source directory
flyology_debug
Tags
ada, debug, tracing, metrics
Project files
flyology_debug.gpr
Manifest
index/fl/flyology_debug/flyology_debug-0.1.0.toml
Build and platform metadata 1 field
Actions
[
  {
    "command": [
      "./scripts/test.sh"
    ],
    "type": "test"
  }
]
flyology_http 0.1.2 HTTP client and server library for Flyology tasks
Source WebsiteRepository Crate page Version page JSON

0.1.2

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
8f34e73b49b1
Tags
ada, http, client, server, websocket, sse
Project files
flyology_http.gpr
Manifest
index/fl/flyology_http/flyology_http-0.1.2.toml
Build and platform metadata 1 field
Actions
[
  {
    "command": [
      "./scripts/test.sh"
    ],
    "type": "test"
  }
]
flyology_iri 0.1.0 Allocation-conscious URI, IRI, and URL reference parser
Source WebsiteRepository Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
110cd1db6a48
Source directory
flyology_iri
Tags
ada, uri, iri, url, parser
Project files
flyology_iri.gpr
Manifest
index/fl/flyology_iri/flyology_iri-0.1.0.toml
Build and platform metadata 1 field
Actions
[
  {
    "command": [
      "./scripts/test.sh"
    ],
    "type": "test"
  }
]
flyology_json 0.1.0-dev Development only Incremental bounded JSON parsing and writing for Ada
Source WebsiteRepository Crate page Version page JSON

0.1.0-dev

Development
Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
3445b7540b89
Tags
ada, json, streaming, parser, writer
Manifest
index/fl/flyology_json/flyology_json-0.1.0-dev.toml
Build and platform metadata 2 fields
Actions
[
  {
    "command": [
      "./scripts/test-all.sh"
    ],
    "type": "test"
  }
]
Build switches
{
  "*": {
    "Compile_Checks": "warnings"
  }
}
flyology_n3 0.1.0-dev Development only Notation3 parsing and serialization
Source WebsiteRepository Crate page Version page JSON

0.1.0-dev

Development
Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
7e5c90c4a3fd
Source directory
n3
Tags
ada, rdf, notation3, n3, parser
Project files
flyology_n3.gpr
Manifest
index/fl/flyology_n3/flyology_n3-0.1.0-dev.toml
Build and platform metadata 2 fields
Build switches
{
  "*": {
    "ada_version": "Ada2022"
  }
}
Actions
[
  {
    "command": [
      "./scripts/test.sh"
    ],
    "type": "test"
  }
]
flyology_numa 0.1.0-dev Development only Memory-node topology reporting for Ada
Source WebsiteRepository Crate page Version page JSON

0.1.0-dev

Development
Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
bd95746d5c9c
Source directory
flyology_numa
Tags
ada, numa, memory, topology, systems
Project files
flyology_numa.gpr
Availability
{"case(os)": {"...": false, "linux|macos": true}}
Manifest
index/fl/flyology_numa/flyology_numa-0.1.0-dev.toml
Build and platform metadata 2 fields
Build switches
{
  "*": {
    "Compile_Checks": "warnings"
  }
}
Actions
[
  {
    "command": [
      "./scripts/test.sh"
    ],
    "type": "test"
  }
]
flyology_object_storage 0.1.0-dev Development only S3 client and pluggable object-storage server for Flyology
Source GitHub Crate page Version page JSON

0.1.0-dev

Development
Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
5eaf79cf1235
Tags
ada, s3, aws, object-storage, client, server
Project files
flyology_object_storage.gpr
Manifest
index/fl/flyology_object_storage/flyology_object_storage-0.1.0-dev.toml
Build and platform metadata 2 fields
Build switches
{
  "*": {
    "ada_version": "Ada2022"
  },
  "development": {
    "compile_checks": "Errors",
    "optimization": "Debug"
  },
  "release": {
    "compile_checks": "Warnings",
    "optimization": "Performance"
  }
}
Actions
[
  {
    "command": [
      "./tests/scripts/test.sh"
    ],
    "type": "test"
  }
]
flyology_object_storage_server 0.1.0-dev Development only Supervised S3 server and management console for Flyology Object Storage
Source GitHub Crate page Version page JSON

0.1.0-dev

Development
Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
5eaf79cf1235
Source directory
server
Tags
ada, s3, server, object-storage, web
Executables
flyology_object_storage_server
Manifest
index/fl/flyology_object_storage_server/flyology_object_storage_server-0.1.0-dev.toml
Build and platform metadata 2 fields
Build switches
{
  "*": {
    "ada_version": "Ada2022"
  },
  "development": {
    "compile_checks": "Errors",
    "optimization": "Debug"
  },
  "release": {
    "compile_checks": "Warnings",
    "optimization": "Performance"
  }
}
Actions
[
  {
    "command": [
      "./tests/scripts/test.sh"
    ],
    "type": "test"
  }
]
flyology_object_storage_sqlite 0.1.0-dev Development only SQLite catalog backend for Flyology Object Storage
Source GitHub Crate page Version page JSON

0.1.0-dev

Development
Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
5eaf79cf1235
Source directory
sqlite
Tags
ada, aws, object-storage, s3, sqlite
Project files
flyology_object_storage_sqlite.gpr
Manifest
index/fl/flyology_object_storage_sqlite/flyology_object_storage_sqlite-0.1.0-dev.toml
flyology_postgres 0.1.0 Postgres client and protocol server for Flyology tasks
Source GitHub Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
214a746abeb8
Tags
ada, postgres, database, client, server, protocol
Manifest
index/fl/flyology_postgres/flyology_postgres-0.1.0.toml
flyology_postgres_sql 0.1.0 Versioned PostgreSQL raw SQL parser and Ada syntax tree
Source GitHub Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
592b2fa2d02f
Source directory
sql
Tags
ada, postgres, sql, parser, ast
Project files
sql.gpr
Manifest
index/fl/flyology_postgres_sql/flyology_postgres_sql-0.1.0.toml
flyology_postgres_sql_core 0.1.0 Shared native runtime for versioned Flyology PostgreSQL parsers
Source GitHub Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
944ebb0b45df
Source directory
sql/core
Tags
ada, postgres, sql, parser
Project files
sql_core.gpr
Manifest
index/fl/flyology_postgres_sql_core/flyology_postgres_sql_core-0.1.0.toml
flyology_postgres_sql_v14 0.1.0 Native PostgreSQL 14 parser and owned Ada AST
Source GitHub Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
7c18df254824
Source directory
sql/v14
Tags
ada, postgres, sql, parser, ast
Project files
sql_v14.gpr
Manifest
index/fl/flyology_postgres_sql_v14/flyology_postgres_sql_v14-0.1.0.toml
flyology_postgres_sql_v15 0.1.0 Native PostgreSQL 15 parser and owned Ada AST
Source GitHub Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
7c18df254824
Source directory
sql/v15
Tags
ada, postgres, sql, parser, ast
Project files
sql_v15.gpr
Manifest
index/fl/flyology_postgres_sql_v15/flyology_postgres_sql_v15-0.1.0.toml
flyology_postgres_sql_v16 0.1.0 Native PostgreSQL 16 parser and owned Ada AST
Source GitHub Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
7c18df254824
Source directory
sql/v16
Tags
ada, postgres, sql, parser, ast
Project files
sql_v16.gpr
Manifest
index/fl/flyology_postgres_sql_v16/flyology_postgres_sql_v16-0.1.0.toml
flyology_postgres_sql_v17 0.1.0 Native PostgreSQL 17 parser and owned Ada AST
Source GitHub Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
7c18df254824
Source directory
sql/v17
Tags
ada, postgres, sql, parser, ast
Project files
sql_v17.gpr
Manifest
index/fl/flyology_postgres_sql_v17/flyology_postgres_sql_v17-0.1.0.toml
flyology_postgres_sql_v18 0.1.0 Native PostgreSQL 18 parser and owned Ada AST
Source GitHub Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
7c18df254824
Source directory
sql/v18
Tags
ada, postgres, sql, parser, ast
Project files
sql_v18.gpr
Manifest
index/fl/flyology_postgres_sql_v18/flyology_postgres_sql_v18-0.1.0.toml
flyology_quic 0.1.1 Ada-native QUIC transport for Flyology tasks
Source WebsiteRepository Crate page Version page JSON

0.1.1

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
ffe9cb00bcc6
Source directory
flyology_quic
Tags
ada, quic, transport, udp
Project files
flyology_quic.gpr
Manifest
index/fl/flyology_quic/flyology_quic-0.1.1.toml
Build and platform metadata 1 field
Actions
[
  {
    "command": [
      "./scripts/test.sh"
    ],
    "type": "test"
  }
]
flyology_rdf 0.1.0-dev Development only RDF 1.2 terms, streaming Turtle/TriG parsing, canonicalization
Source WebsiteRepository Crate page Version page JSON

0.1.0-dev

Development
Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
7e5c90c4a3fd
Tags
ada, rdf, turtle, trig, parser
Project files
flyology_rdf.gpr
Manifest
index/fl/flyology_rdf/flyology_rdf-0.1.0-dev.toml
Build and platform metadata 2 fields
Build switches
{
  "*": {
    "ada_version": "Ada2022"
  },
  "development": {
    "compile_checks": "Errors",
    "optimization": "Debug"
  },
  "release": {
    "compile_checks": "Warnings",
    "optimization": "Performance"
  }
}
Actions
[
  {
    "command": [
      "./scripts/test.sh"
    ],
    "type": "test"
  }
]
flyology_simd 0.1.0 Portable, strongly typed SIMD foundations for Ada
Source WebsiteRepository Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
e7bb7caa224c
Tags
simd, vector, portable, neon, sse2, avx2
Project files
flyology_simd.gpr
Manifest
index/fl/flyology_simd/flyology_simd-0.1.0.toml
Build and platform metadata 2 fields
GPR values
{
  "case(host-arch)": {
    "aarch64": {
      "FLYOLOGY_SIMD_ARCH": "aarch64"
    },
    "x86-64": {
      "FLYOLOGY_SIMD_ARCH": "x86_64"
    }
  }
}
Build switches
{
  "*": {
    "ada_version": "Ada2022"
  },
  "development": {
    "compile_checks": "Errors",
    "optimization": "Debug"
  },
  "release": {
    "compile_checks": "Warnings",
    "optimization": "Performance"
  }
}
flyology_sparql 0.1.0-dev Development only SPARQL 1.1 query parsing and serialization
Source WebsiteRepository Crate page Version page JSON

0.1.0-dev

Development
Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
7e5c90c4a3fd
Source directory
sparql
Tags
ada, rdf, sparql, query, parser
Project files
flyology_sparql.gpr
Manifest
index/fl/flyology_sparql/flyology_sparql-0.1.0-dev.toml
Build and platform metadata 2 fields
Build switches
{
  "*": {
    "ada_version": "Ada2022"
  }
}
Actions
[
  {
    "command": [
      "./scripts/test.sh"
    ],
    "type": "test"
  }
]
flyology_tla 0.1.0-dev Development only TLA+ trace generation and Ada conformance replay harness
Source Repository Crate page Version page JSON

0.1.0-dev

Development
Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
faf06c482469
Tags
ada, tla, tlc, tlaps, testing, conformance
Project files
flyology_tla.gpr
Executables
flyology-tla
Availability
{"case(os)": {"...": false, "linux|macos": true}}
Manifest
index/fl/flyology_tla/flyology_tla-0.1.0-dev.toml
Build and platform metadata 2 fields
Actions
[
  {
    "command": [
      "./scripts/test.sh"
    ],
    "type": "test"
  }
]
Build switches
{
  "*": {
    "Compile_Checks": "warnings"
  }
}
flyology_tui 0.1.0 A typed, declarative terminal user-interface toolkit for Ada
Source WebsiteRepository Crate page Version page JSON

0.1.0

Authors
Yurii Rashkovskii
Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
MIT OR Apache-2.0
Source revision
4d55ed7dc52c
Tags
ada, tui, terminal, ui, elm
Project files
flyology_tui.gpr
Availability
{"case(os)": {"...": false, "linux|macos": true}}
Manifest
index/fl/flyology_tui/flyology_tui-0.1.0.toml
Build and platform metadata 1 field
Actions
[
  {
    "command": [
      "./scripts/test.sh"
    ],
    "type": "test"
  }
]
gnat_flyology_native 16.2.0-patchset.1.1.1 GNAT native compiler with a validated gnat-patches aggregate
Toolchain GitHub Crate page Version page JSON

16.2.0-patchset.1.1.1

Maintainers
Yurii Rashkovskii <yrashk@gmail.com>
Maintainer profiles
@yrashk
Licenses
GPL-3.0-or-later AND GPL-3.0-or-later WITH GCC-exception-3.1
Provides
gnat=16.2.0
Automatic GPR dependency
no
Manifest
index/gn/gnat_flyology_native/gnat_flyology_native-16.2.0-patchset.1.1.1.toml
Build and platform metadata 3 fields
Configuration
{
  "disabled": true
}
Environment
{
  "case(os)": {
    "linux": {
      "LD_LIBRARY_PATH": {
        "prepend": "${CRATE_ROOT}/lib64"
      },
      "LD_RUN_PATH": {
        "prepend": "${CRATE_ROOT}/lib64"
      },
      "LIBRARY_PATH": {
        "prepend": "${CRATE_ROOT}/lib64"
      },
      "PATH": {
        "prepend": "${CRATE_ROOT}/bin"
      }
    },
    "macos": {
      "DYLD_LIBRARY_PATH": {
        "prepend": "${CRATE_ROOT}/lib"
      },
      "LD_LIBRARY_PATH": {
        "prepend": "${CRATE_ROOT}/lib"
      },
      "LD_RUN_PATH": {
        "prepend": "${CRATE_ROOT}/lib"
      },
      "PATH": {
        "prepend": "${CRATE_ROOT}/bin"
      }
    }
  }
}
Artifact origin rules
{
  "case(os)": {
    "linux": {
      "case(host-arch)": {
        "aarch64": {
          "binary": true,
          "hashes": [
            "sha256:0e0a310525d8ae9341568bfa59e5dd97157354bef03df11bf4a1778ae2176abf"
          ],
          "url": "https://github.com/flyology-ada/gnat-patches/releases/download/patchset-1.1.1-gcc-16.2.0/gnat-flyology-native-gcc-16.2.0-patchset-1.1.1-linux-aarch64.tar.gz"
        },
        "x86-64": {
          "binary": true,
          "hashes": [
            "sha256:78d65090bbd1517402e7aca4e7495f1a7f65f5f8efc0ea151928a862f8b3ab26"
          ],
          "url": "https://github.com/flyology-ada/gnat-patches/releases/download/patchset-1.1.1-gcc-16.2.0/gnat-flyology-native-gcc-16.2.0-patchset-1.1.1-linux-x86_64.tar.gz"
        }
      }
    },
    "macos": {
      "case(host-arch)": {
        "aarch64": {
          "binary": true,
          "hashes": [
            "sha256:e4c9f2a4d220a8780a678a84b7298cfea28cad16b010b6dfd8620913a91718c9"
          ],
          "url": "https://github.com/flyology-ada/gnat-patches/releases/download/patchset-1.1.1-gcc-16.2.0/gnat-flyology-native-gcc-16.2.0-patchset-1.1.1-macos-aarch64.tar.gz"
        }
      }
    }
  }
}