Test ran at 2025-07-14 01:12:24.650013+00:00 SOLUTION: rsfile=1.0.1: Randomly pick a file with probability proportional to its size Origin: commit f3d684685a9f41a94a20f80ce114a33cca028475 from https://github.com/mosteo/rsfile.git Properties: Author: Alejandro R. Mosteo Configuration: no modifiers Description: Randomly pick a file with probability proportional to its size Executable: rsfile License: GPL-3.0-only Maintainer: Alejandro R. Mosteo Maintainers_Logins: mosteo Name: rsfile Tag: command-line Tag: tool Tag: random Tag: file-size Version: 1.0.1 LOG: Spawning: alr -d -n get --build rsfile=1.0.1 Note: Deploying rsfile=1.0.1... Note: Alire has selected automatically this toolchain: gprbuild=22.0.1 gnat_native=14.2.1 You can select a different toolchain at any time with `alr toolchain --select` Download will start now: Note: Deploying gprbuild=22.0.1... #=#=# ############################### 43.2% ######################################################################## 100.0% Note: gprbuild=22.0.1 installed successfully. Note: Deploying gnat_native=14.2.1... 0.0% #### 5.9% ######### 12.8% ############## 20.1% ################### 27.2% ######################## 34.2% ############################# 40.4% ############################### 43.7% #################################### 50.7% ######################################### 57.6% ############################################## 64.9% ################################################### 70.9% ######################################################## 78.0% ############################################################# 84.9% ################################################################# 90.9% ################################################################### 93.6% ######################################################################## 100.0% Note: gnat_native=14.2.1 installed successfully. Note: Building rsfile=1.0.1/rsfile.gpr... Setup [mkdir] object directory for project Rsfile Compile [Ada] rsfile.adb Bind [gprbind] rsfile.bexch [Ada] rsfile.ali Link [link] rsfile.adb rsfile=1.0.1 successfully retrieved and built. There are no dependencies. Found declared GPR file: rsfile.gpr