Alire bug detected (Running alr run)

[furioncycle]

I received the following error, while trying to build an executable.

error: ******************* BEGIN Alire bug detected *******************
error: Location  : 0xde9efe
error: Extra info: No release visited in round 2
error: Report at : https://github.com/alire-project/alire/issues/new?title=[Bug%20box]
error: Re-run with `-vv -d` for a full log and stack trace.
error: ******************** END Alire bug detected ********************

Here is the error log

-->> Load config key: 'index.auto_update' = 'TOML_INTEGER'
-->> Load config key: 'index.auto_update_asked' = 'TOML_BOOLEAN'
-->> Load config key: 'index.last_update' = 'TOML_INTEGER'
-->> Load config key: 'toolchain.assistant' = 'TOML_BOOLEAN'
-->> Load config key: 'toolchain.external.gnat' = 'TOML_BOOLEAN'
-->> Load config key: 'toolchain.external.gprbuild' = 'TOML_BOOLEAN'
-->> Load config key: 'toolchain.use.gnat' = 'TOML_STRING'
-->> Load config key: 'toolchain.use.gprbuild' = 'TOML_STRING'
-->> Load config key: 'user.email' = 'TOML_STRING'
-->> Load config key: 'user.github_login' = 'TOML_STRING'
-->> Load config key: 'user.name' = 'TOML_STRING'
-->> Looking for alire metadata at: /home/ttecho/dev/personal/quickcheck/tests
-->> Looking for alire metadata at: /home/ttecho/dev/personal/quickcheck/tests
-->> Looking for alire metadata at: /home/ttecho/dev/personal/quickcheck/tests
-->> Looking for alire metadata at: /home/ttecho/dev/personal/quickcheck/tests
-->> Load config key: 'last_build_profile' = 'TOML_STRING'
-> Using default value for configuration 'distribution.disable_detection': 'FALSE'
-->> Registering variable for expressions: distribution
-->> Registering variable for expressions: os
-->> Registering variable for expressions: toolchain
-->> Registering variable for expressions: word-size
-->> Registering variable for expressions: host-arch
-->> alr platform configured
-->> Begin command line:
-->>    Arg 0 (len 3): alr
-->>    Arg 1 (len 3): -vv
-->>    Arg 2 (len 2): -d
-->>    Arg 3 (len 3): run
-->> End command line.
-->> Color output enabled
debug: Platform-specific initialization done.
detail: Using default value for configuration 'update.manually_only': 'FALSE'
debug: Workspace is being checked and loaded for the first time
debug: Looking for alire metadata at: /home/ttecho/dev/personal/quickcheck/tests
debug: Loading release tests=0.1.0-dev
debug: Selected name for tempfile: /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-hjjg.tmp when at dir: /home/ttecho/dev/personal/quickcheck/tests
detail: Spawning: ["cat", "/etc/os-release"] > /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-hjjg.tmp
debug: Deleting temporary file /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-hjjg.tmp...
debug: Command exited with valid code: 0
debug: Unknown distro for key 'id', falling back to 'id_like'
debug: Found unsupported distro: ANSI_COLOR="0;38;2;126;186;228"
debug: Selected name for tempfile: /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-pzic.tmp when at dir: /home/ttecho/dev/personal/quickcheck/tests
detail: Spawning: ["uname", "-m"] > /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-pzic.tmp
debug: Deleting temporary file /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-pzic.tmp...
debug: uname known machine string is: x86_64
debug: Valid root found at /home/ttecho/dev/personal/quickcheck/tests
debug: Loading release tests=0.1.0-dev
debug: Checked valid manifest at /home/ttecho/dev/personal/quickcheck/tests/alire.toml
debug: Reading persistent contents from /home/ttecho/dev/personal/quickcheck/tests/alire/alire.lock
debug: Reading solution from TOML...
debug: Loading release aunit=24.0.0
debug: Loading release gnatcov=22.0.1
debug: Loading release gnatprove=13.2.1
debug: Entering folder: /home/ttecho/dev/personal/quickcheck
debug: Loading release quickcheck=0.1.0-dev
debug: Valid root found at /home/ttecho/dev/personal/quickcheck
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Lockfile at /home/ttecho/dev/personal/quickcheck/tests/alire/alire.lock is valid
debug: Reading persistent contents from /home/ttecho/dev/personal/quickcheck/tests/alire/alire.lock
debug: Reading solution from TOML...
debug: Loading release aunit=24.0.0
debug: Loading release gnatcov=22.0.1
debug: Loading release gnatprove=13.2.1
debug: Entering folder: /home/ttecho/dev/personal/quickcheck
debug: Loading release quickcheck=0.1.0-dev
debug: Valid root found at /home/ttecho/dev/personal/quickcheck
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
detail: Using default value for configuration 'dependencies.shared': 'TRUE'
detail: Using default value for configuration 'dependencies.shared': 'TRUE'
detail: Using default value for configuration 'dependencies.shared': 'TRUE'
detail: Using default value for configuration 'dependencies.shared': 'TRUE'
detail: Using default value for configuration 'update.manually_only': 'FALSE'
debug: Workspace is valid [already loaded]
detail: Using default value for configuration 'dependencies.shared': 'TRUE'
detail: Using default value for configuration 'update.manually_only': 'FALSE'
debug: Workspace is valid [already loaded]
debug: Reading persistent contents from /home/ttecho/dev/personal/quickcheck/tests/alire/alire.lock
debug: Reading solution from TOML...
debug: Loading release aunit=24.0.0
debug: Loading release gnatcov=22.0.1
debug: Loading release gnatprove=13.2.1
debug: Entering folder: /home/ttecho/dev/personal/quickcheck
debug: Loading release quickcheck=0.1.0-dev
debug: Valid root found at /home/ttecho/dev/personal/quickcheck
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Build profiles loaded
debug: Build profile of aunit set by user: RELEASE --> RELEASE
debug: Build profile of gnatcov set by user: RELEASE --> RELEASE
debug: Build profile of gnatprove set by user: RELEASE --> RELEASE
debug: Build profile of quickcheck set by user: RELEASE --> RELEASE
debug: Build profile of tests set by user: DEVELOPMENT --> DEVELOPMENT
detail: Using default value for configuration 'dependencies.shared': 'TRUE'
debug: Status start: Syncing build dir
debug: build hashing root /home/ttecho/dev/personal/quickcheck/tests
debug: Status start: Exploring /home/ttecho/.local/share/alire/toolchains
debug: Traversing folder: /home/ttecho/.local/share/alire/toolchains
debug: Detected toolchain release at /home/ttecho/.local/share/alire/toolchains/gnat_native_12.2.1_11f3b811
debug: Loading release gnat_native=12.2.1
debug: Status ended: Exploring /home/ttecho/.local/share/alire/toolchains
debug: Looking for indexes at /home/ttecho/.config/alire/indexes
detail: Found 1 indexes
debug: Reusing cached set of indexes
detail: Loading index found at /home/ttecho/.config/alire/indexes/community/repo/index
debug: Loading single crate gnat from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat
debug: Requested crate does not exist in index
debug: Loading provider crate gnat_arm_elf for crate gnat
detail: Loading index found at /home/ttecho/.config/alire/indexes/community/repo/index
debug: Loading single crate gnat_arm_elf from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Status start: Exploring /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Traversing folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-12.1.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Loading gnat_arm_elf 12.1.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-12.1.1.toml
debug: Loading release gnat_arm_elf=12.1.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-12.1.2.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Loading gnat_arm_elf 12.1.2 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-12.1.2.toml
debug: Loading release gnat_arm_elf=12.1.2
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-10.3.2.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Loading gnat_arm_elf 10.3.2 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-10.3.2.toml
debug: Loading release gnat_arm_elf=10.3.2
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-14.1.3.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Loading gnat_arm_elf 14.1.3 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-14.1.3.toml
debug: Loading release gnat_arm_elf=14.1.3
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-10.3.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Loading gnat_arm_elf 10.3.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-10.3.1.toml
debug: Loading release gnat_arm_elf=10.3.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-13.1.0.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Loading gnat_arm_elf 13.1.0 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-13.1.0.toml
debug: Loading release gnat_arm_elf=13.1.0
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-11.2.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Loading gnat_arm_elf 11.2.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-11.2.1.toml
debug: Loading release gnat_arm_elf=11.2.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-11.2.3.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Loading gnat_arm_elf 11.2.3 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-11.2.3.toml
debug: Loading release gnat_arm_elf=11.2.3
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-13.2.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Loading gnat_arm_elf 13.2.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-13.2.1.toml
debug: Loading release gnat_arm_elf=13.2.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-11.2.2.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Loading gnat_arm_elf 11.2.2 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-11.2.2.toml
debug: Loading release gnat_arm_elf=11.2.2
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-12.2.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Loading gnat_arm_elf 12.2.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-12.2.1.toml
debug: Loading release gnat_arm_elf=12.2.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-11.2.4.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Loading gnat_arm_elf 11.2.4 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf/gnat_arm_elf-11.2.4.toml
debug: Loading release gnat_arm_elf=11.2.4
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Status ended: Exploring /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_arm_elf
debug: Loading provider crate gnat_avr_elf for crate gnat
detail: Loading index found at /home/ttecho/.config/alire/indexes/community/repo/index
debug: Loading single crate gnat_avr_elf from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf
debug: Status start: Exploring /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf
debug: Traversing folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf/gnat_avr_elf-12.1.2.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf
debug: Loading gnat_avr_elf 12.1.2 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf/gnat_avr_elf-12.1.2.toml
debug: Loading release gnat_avr_elf=12.1.2
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf/gnat_avr_elf-13.1.0.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf
debug: Loading gnat_avr_elf 13.1.0 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf/gnat_avr_elf-13.1.0.toml
debug: Loading release gnat_avr_elf=13.1.0
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf/gnat_avr_elf-12.1.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf
debug: Loading gnat_avr_elf 12.1.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf/gnat_avr_elf-12.1.1.toml
debug: Loading release gnat_avr_elf=12.1.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf/gnat_avr_elf-11.2.4.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf
debug: Loading gnat_avr_elf 11.2.4 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf/gnat_avr_elf-11.2.4.toml
debug: Loading release gnat_avr_elf=11.2.4
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf/gnat_avr_elf-12.2.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf
debug: Loading gnat_avr_elf 12.2.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf/gnat_avr_elf-12.2.1.toml
debug: Loading release gnat_avr_elf=12.2.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf/gnat_avr_elf-13.2.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf
debug: Loading gnat_avr_elf 13.2.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf/gnat_avr_elf-13.2.1.toml
debug: Loading release gnat_avr_elf=13.2.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf/gnat_avr_elf-14.1.3.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf
debug: Loading gnat_avr_elf 14.1.3 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf/gnat_avr_elf-14.1.3.toml
debug: Loading release gnat_avr_elf=14.1.3
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Status ended: Exploring /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_avr_elf
debug: Loading provider crate gnat_external for crate gnat
detail: Loading index found at /home/ttecho/.config/alire/indexes/community/repo/index
debug: Loading single crate gnat_external from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_external
debug: Status start: Exploring /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_external
debug: Traversing folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_external
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_external/gnat_external-external.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_external
debug: Loading gnat_external external from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_external/gnat_external-external.toml
debug: Loaded external with regexp: ^GNAT\D*([\d\.]+).*
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Status ended: Exploring /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_external
debug: Loading provider crate gnat_native for crate gnat
detail: Loading index found at /home/ttecho/.config/alire/indexes/community/repo/index
debug: Loading single crate gnat_native from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Status start: Exploring /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Traversing folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-13.1.0.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Loading gnat_native 13.1.0 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-13.1.0.toml
debug: Loading release gnat_native=13.1.0
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-14.1.3.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Loading gnat_native 14.1.3 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-14.1.3.toml
debug: Loading release gnat_native=14.1.3
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-12.2.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Loading gnat_native 12.2.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-12.2.1.toml
debug: Loading release gnat_native=12.2.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-11.2.4.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Loading gnat_native 11.2.4 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-11.2.4.toml
debug: Loading release gnat_native=11.2.4
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-12.1.2.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Loading gnat_native 12.1.2 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-12.1.2.toml
debug: Loading release gnat_native=12.1.2
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-13.2.2.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Loading gnat_native 13.2.2 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-13.2.2.toml
debug: Loading release gnat_native=13.2.2
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-10.3.2.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Loading gnat_native 10.3.2 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-10.3.2.toml
debug: Loading release gnat_native=10.3.2
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-11.2.2.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Loading gnat_native 11.2.2 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-11.2.2.toml
debug: Loading release gnat_native=11.2.2
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-13.2.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Loading gnat_native 13.2.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-13.2.1.toml
debug: Loading release gnat_native=13.2.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-10.3.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Loading gnat_native 10.3.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-10.3.1.toml
debug: Loading release gnat_native=10.3.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-11.2.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Loading gnat_native 11.2.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-11.2.1.toml
debug: Loading release gnat_native=11.2.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-12.1.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Loading gnat_native 12.1.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-12.1.1.toml
debug: Loading release gnat_native=12.1.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-11.2.3.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Loading gnat_native 11.2.3 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native/gnat_native-11.2.3.toml
debug: Loading release gnat_native=11.2.3
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Status ended: Exploring /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_native
debug: Loading provider crate gnat_riscv64_elf for crate gnat
detail: Loading index found at /home/ttecho/.config/alire/indexes/community/repo/index
debug: Loading single crate gnat_riscv64_elf from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Status start: Exploring /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Traversing folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-10.3.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Loading gnat_riscv64_elf 10.3.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-10.3.1.toml
debug: Loading release gnat_riscv64_elf=10.3.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-14.1.3.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Loading gnat_riscv64_elf 14.1.3 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-14.1.3.toml
debug: Loading release gnat_riscv64_elf=14.1.3
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Loading gnat_riscv64_elf 12.1.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.1.toml
debug: Loading release gnat_riscv64_elf=12.1.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-11.2.4.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Loading gnat_riscv64_elf 11.2.4 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-11.2.4.toml
debug: Loading release gnat_riscv64_elf=11.2.4
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.2.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Loading gnat_riscv64_elf 12.1.2 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.1.2.toml
debug: Loading release gnat_riscv64_elf=12.1.2
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-11.2.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Loading gnat_riscv64_elf 11.2.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-11.2.1.toml
debug: Loading release gnat_riscv64_elf=11.2.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.2.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Loading gnat_riscv64_elf 12.2.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-12.2.1.toml
debug: Loading release gnat_riscv64_elf=12.2.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-13.1.0.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Loading gnat_riscv64_elf 13.1.0 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-13.1.0.toml
debug: Loading release gnat_riscv64_elf=13.1.0
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-10.3.2.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Loading gnat_riscv64_elf 10.3.2 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-10.3.2.toml
debug: Loading release gnat_riscv64_elf=10.3.2
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-13.2.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Loading gnat_riscv64_elf 13.2.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-13.2.1.toml
debug: Loading release gnat_riscv64_elf=13.2.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-11.2.2.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Loading gnat_riscv64_elf 11.2.2 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-11.2.2.toml
debug: Loading release gnat_riscv64_elf=11.2.2
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-11.2.3.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Loading gnat_riscv64_elf 11.2.3 from /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf/gnat_riscv64_elf-11.2.3.toml
debug: Loading release gnat_riscv64_elf=11.2.3
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Status ended: Exploring /home/ttecho/.config/alire/indexes/community/repo/index/gn/gnat_riscv64_elf
debug: Not reloading crate gnat
debug: Looking for externals for crate: gnat
debug: Detecting via provider: gnat_external
debug: Status start: Looking for external crate: gnat_external
debug: Attempting detection of available external: gnat_external
debug: Selected name for tempfile: /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-ihce.tmp when at dir: /home/ttecho/dev/personal/quickcheck/tests
detail: Spawning: ["gnat", "--version"] > /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-ihce.tmp
debug: Deleting temporary file /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-ihce.tmp...
debug: Looking for external in version string 'GNAT 13.3.0
Copyright (C) 1996-2023, Free Software Foundation, Inc.
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.'
debug: Identified external from version: 13.3.0
debug: Status ended: Looking for external crate: gnat_external
debug: Adding external: gnat_external=13.3.0
debug: Not reloading crate gnat
debug: Detected external toolchain release: gnat_external=13.3.0
detail: Index already loaded, loading skipped
debug: Reusing cached set of indexes
detail: Loading index found at /home/ttecho/.config/alire/indexes/community/repo/index
debug: Loading single crate gprbuild from /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild
debug: Status start: Exploring /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild
debug: Traversing folder: /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild/gprbuild-21.0.2.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild
debug: Loading gprbuild 21.0.2 from /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild/gprbuild-21.0.2.toml
debug: Loading release gprbuild=21.0.2
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild/gprbuild-external.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild
debug: Loading gprbuild external from /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild/gprbuild-external.toml
debug: Loaded external with regexp: ^GPRBUILD\D*([\d\.-]+).*
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild/gprbuild-22.0.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild
debug: Loading gprbuild 22.0.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild/gprbuild-22.0.1.toml
debug: Loading release gprbuild=22.0.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Checking manifest candidate file: /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild/gprbuild-21.0.1.toml
debug: Entering folder: /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild
debug: Loading gprbuild 21.0.1 from /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild/gprbuild-21.0.1.toml
debug: Loading release gprbuild=21.0.1
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Status ended: Exploring /home/ttecho/.config/alire/indexes/community/repo/index/gp/gprbuild
debug: Not reloading crate gprbuild
debug: Looking for externals for crate: gprbuild
debug: Detecting via provider: gprbuild
debug: Status start: Looking for external crate: gprbuild
debug: Attempting detection of available external: gprbuild
debug: Selected name for tempfile: /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-shar.tmp when at dir: /home/ttecho/dev/personal/quickcheck/tests
detail: Spawning: ["gprbuild", "--version"] > /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-shar.tmp
debug: Deleting temporary file /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-shar.tmp...
debug: Looking for external in version string 'GPRBUILD Pro 18.0w (19940713) (x86_64-unknown-linux-gnu)
Copyright (C) 2004-2016, AdaCore
This is free software; see the source for copying conditions.
See your AdaCore support agreement for details of warranty and support.
If you do not have a current support agreement, then there is absolutely
no warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE.'
debug: Identified external from version: 18.0
debug: Attempting detection of available external: gprbuild
detail: Cannot look for system packages for crate gprbuild in unknown distribution
debug: Status ended: Looking for external crate: gprbuild
debug: Adding external: gprbuild=18.0.0
debug: Not reloading crate gprbuild
debug: Not reloading crate gprbuild
debug: Detected external toolchain release: gprbuild=18.0.0
debug: Detected available tools:
debug:    Tool: gprbuild=18.0.0
debug:    Tool: gnat_native=12.2.1
debug:    Tool: gnat_external=13.3.0
debug: Selected name for tempfile: /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-awsr.tmp when at dir: /home/ttecho/dev/personal/quickcheck/tests
debug: Selected name for tempfile: /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-vopo.tmp when at dir: /home/ttecho/dev/personal/quickcheck/tests
debug: Dumping lockfile contents to /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-vopo.tmp
debug: Reading persistent contents from /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-vopo.tmp
debug: Reading solution from TOML...
debug: Loading release aunit=24.0.0
debug: Loading release gnatcov=22.0.1
debug: Loading release gnatprove=13.2.1
debug: Entering folder: /home/ttecho/dev/personal/quickcheck
debug: Loading release quickcheck=0.1.0-dev
debug: Valid root found at /home/ttecho/dev/personal/quickcheck
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Crate tests adds pin for crate quickcheck
debug: Entering folder: /home/ttecho/dev/personal/quickcheck
debug: Loading release quickcheck=0.1.0-dev
debug: Valid root found at /home/ttecho/dev/personal/quickcheck
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Crate found at pin location ..
debug: Entering folder: /home/ttecho/dev/personal/quickcheck
debug: Loading release quickcheck=0.1.0-dev
debug: Valid root found at /home/ttecho/dev/personal/quickcheck
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
detail: Crate tests adds pin quickcheck* (linked,path=..,release)
debug: Dumping lockfile contents to /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-vopo.tmp
debug: Reading persistent contents from /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-vopo.tmp
debug: Reading solution from TOML...
debug: Loading release aunit=24.0.0
debug: Loading release gnat_external=13.3.0
debug: Loading release gnatcov=22.0.1
debug: Loading release gnatprove=13.2.1
debug: Loading release gprbuild=18.0.0
debug: Entering folder: /home/ttecho/dev/personal/quickcheck
debug: Loading release quickcheck=0.1.0-dev
debug: Valid root found at /home/ttecho/dev/personal/quickcheck
debug: Going back to folder: /home/ttecho/dev/personal/quickcheck/tests
debug: Loading environment for crate aunit release: aunit=24.0.0
debug: Loading environment for crate gnat_external release: gnat_external=13.3.0
debug: Loading environment for crate gnatcov release: gnatcov=22.0.1
debug: Processing env entry: GPR_PROJECT_PATH of type APPEND with value ${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/
debug: Processing env entry: PATH of type PREPEND with value ${CRATE_ROOT}/bin
debug: Loading environment for crate gnatprove release: gnatprove=13.2.1
debug: Processing env entry: GPR_PROJECT_PATH of type PREPEND with value ${CRATE_ROOT}/lib/gnat
debug: Processing env entry: PATH of type PREPEND with value ${CRATE_ROOT}/bin
debug: Loading environment for crate gprbuild release: gprbuild=18.0.0
debug: Loading environment for crate quickcheck release: quickcheck=0.1.0-dev
debug: Loading environment for crate tests release: tests=0.1.0-dev
debug: Discarding temporary root file: /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-awsr.tmp
debug: Deleting temporary file /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-awsr.tmp...
debug: Discarding temporary root file: /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-vopo.tmp
debug: Deleting temporary file /home/ttecho/dev/personal/quickcheck/tests/alire/tmp/alr-vopo.tmp...
detail: Env: Crate prefix for resources location sets 'quickcheck_0.1.0_filesystem' to 'QUICKCHECK_ALIRE_PREFIX'
detail: Env: Crate prefix for resources location sets 'gnat_external_13.3.0_external' to 'GNAT_EXTERNAL_ALIRE_PREFIX'
detail: Env: Crate prefix for resources location sets 'gprbuild_18.0.0_external' to 'GPRBUILD_ALIRE_PREFIX'
detail: Env: gnatcov (env) prepends 'gnatcov_22.0.1_eae687f0/bin' to 'PATH'
detail: Env: gnatprove (env) prepends 'gnatprove_13.2.1_28fc3583/bin' to 'PATH'
detail: Env: gnatcov (env) appends 'gnatcov_22.0.1_eae687f0/share/gnatcoverage/gnatcov_rts/' to 'GPR_PROJECT_PATH'
detail: Env: gnatprove (env) prepends 'gnatprove_13.2.1_28fc3583/lib/gnat' to 'GPR_PROJECT_PATH'
detail: Env: Crate prefix for resources location sets 'aunit_24.0.0_67fdc2b6' to 'AUNIT_ALIRE_PREFIX'
detail: Env: Alire sets 'True' to 'ALIRE'
detail: Env: Crate prefix for resources location sets 'gnatcov_22.0.1_eae687f0' to 'GNATCOV_ALIRE_PREFIX'
detail: Env: Crate prefix for resources location sets 'tests_0.1.0_filesystem' to 'TESTS_ALIRE_PREFIX'
detail: Env: Crate prefix for resources location sets 'gnatprove_13.2.1_28fc3583' to 'GNATPROVE_ALIRE_PREFIX'
debug: Round 1: VISIT ready aunit=24.0.0
debug: Round 1: VISIT ready gnatcov=22.0.1
debug: Round 1: VISIT ready gnatprove=13.2.1
debug: Round 1: SKIP not-ready quickcheck=0.1.0-dev
debug: Marking visited: aunit
debug: Visiting now: aunit^24.0.0 (direct,solved)
debug:    build hashing: aunit=24.0.0
debug:       build hashing profile:aunit=RELEASE
debug:       build hashing switches:aunit=-O3,-fdata-sections,-ffunction-sections,-gnatW8,-gnatn
detail: Using default value for configuration 'dependencies.shared': 'TRUE'
debug:       build hashing external:AUNIT_BUILD_MODE=default
debug:       build hashing external:AUNIT_LIBRARY_TYPE=default
debug:       build hashing external:AUNIT_RUNTIME=default
debug:       build hashing external:LIBRARY_TYPE=default
debug:       build hashing version:gnat_external=13.3.0
debug:    build hashing release complete
debug: Marking visited: gnatcov
debug: Visiting now: gnatcov^22.0.1 (direct,solved)
debug: Marking visited: gnatprove
debug: Visiting now: gnatprove^13.2.1 (indirect,solved)
debug: Round 2: SKIP not-ready quickcheck=0.1.0-dev
debug: Status ended: Syncing build dir
debug: ---8<--- Exception dump begin ---8<---
debug: PROGRAM_ERROR
debug: No release visited in round 2
debug: raised PROGRAM_ERROR : No release visited in round 2
[/nix/store/x9i6rzcbw79a7wpb3rm388f16lap8fir-alire-2.0.2/bin/alr]
0xde9efe
0xd745e9
0xd7483f
0x5a0ecd
0xd4da29
0xd4dff1
0xd59a5e
0xd58a75
0xd48fba
0xd491e3
0xd4a79a
0xd4a901
0x4a5c46
0x4db58e
0x4dd3f7
0x55a22f
0x5672bf
0x43f105
0x442883
[/nix/store/wn7v2vhyyyi6clcyn0s9ixvl7d4d87ic-glibc-2.40-36/lib/libc.so.6]
0x7efd067e327c
0x7efd067e3337
[/nix/store/x9i6rzcbw79a7wpb3rm388f16lap8fir-alire-2.0.2/bin/alr]
0x43ef83
0xfffffffffffffffe

debug: --->8--- Exception dump end ----->8---
stderr: PROGRAM_ERROR
stderr: No release visited in round 2
stderr: raised PROGRAM_ERROR : No release visited in round 2
[/nix/store/x9i6rzcbw79a7wpb3rm388f16lap8fir-alire-2.0.2/bin/alr]
0xde9efe
0xd745e9
0xd7483f
0x5a0ecd
0xd4da29
0xd4dff1
0xd59a5e
0xd58a75
0xd48fba
0xd491e3
0xd4a79a
0xd4a901
0x4a5c46
0x4db58e
0x4dd3f7
0x55a22f
0x5672bf
0x43f105
0x442883
[/nix/store/wn7v2vhyyyi6clcyn0s9ixvl7d4d87ic-glibc-2.40-36/lib/libc.so.6]
0x7efd067e327c
0x7efd067e3337
[/nix/store/x9i6rzcbw79a7wpb3rm388f16lap8fir-alire-2.0.2/bin/alr]
0x43ef83
0xfffffffffffffffe

[mosteo]

Are there pinned crates involved? This could be a duplicate of #1662, as alr run will invoke a build automatically.