Test ran at 2024-04-16 12:38:29.064330+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 <alejandro@mosteo.com>
   Maintainers_Logins: mosteo
   Name: rsfile
   Tag: command-line
   Tag: tool
   Tag: random
   Tag: file-size
   Version: 1.0.1


LOG:
Note: Deploying rsfile=1.0.1...
Note: Building rsfile/rsfile.gpr...
Setup
   [mkdir]        object directory for project Rsfile
Compile
   [Ada]          rsfile.adb
Bind
   [gprbind]      rsfile.bexch
   [Ada]          rsfile.ali
Link
   [link]         rsfile.adb
Build finished successfully in 1.21 seconds.

rsfile=1.0.1 successfully retrieved and built.
There are no dependencies.
Found declared GPR file: rsfile.gpr