Test ran at 2023-06-06 01:13:40.102896+00:00

SOLUTION:
vaton=0.1.0: Verified Ascii To Number conversion written in Ada/SPARK
Origin: commit c07eed4c36f9950c4bf93efb069eb6346fcca07f from https://github.com/mhatzl/vaton.git
Properties:
   Author: Manuel Hatzl
   Build Switches: 
   Description: Verified Ascii To Number conversion written in Ada/SPARK
   License: MIT
   Long_Description: This library offers formally verified functions to convert character streams into the smallest standard type representation the resulting number may fit in.
The allowed formats are based on the [JSON-Number format](https://www.json.org/json-en.html), with the addition to allow single underscores between digits.

**Note:** Only decimal based numbers are supported!

**Examples:**

```
-10_000 -> Standard.Integer
1.0 -> Standard.Float
1e4 -> Standard.Float
```

   Maintainer: Manuel Hatzl <hatzlmanuel@outlook.com>
   Maintainers_Logins: mhatzl
   Name: vaton
   Tag: spark
   Version: 0.1.0
   Website: https://github.com/mhatzl/vaton
Dependencies (direct):
   gnat(>=12.0.0 & <2000) | >=2021
   spark_unbound~0.2.1
Dependencies (solution):
   spark_unbound=0.2.1
Dependencies (external):
   gnat((>=12.0.0 & <2000) | >=2021) & ((>=9.3.1 & <2000) | >=2021) (direct,hinted)
Dependencies (graph):
   spark_unbound=0.2.1 --> gnat(>=9.3.1 & <2000) | >=2021 
   vaton=0.1.0         --> gnat(>=12.0.0 & <2000) | >=2021
   vaton=0.1.0         --> spark_unbound=0.2.1 (~0.2.1)   
Dependencies cannot be met


LOG: