From c357e88610fdfd84dc5c22c7b12977b481ac2309 Mon Sep 17 00:00:00 2001
From: Manuel Hatzl <49341624+mhatzl@users.noreply.github.com>
Date: Tue, 11 Oct 2022 12:29:33 +0200
Subject: [PATCH] vaton 0.1.0 (#660)

* feat: add vaton 0.1.0-dev to alire

* fix: pump GNAT version to support VALID_BIG_INTEGER
---
 index/va/vaton/vaton-0.1.0.toml | 41 +++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 index/va/vaton/vaton-0.1.0.toml

diff --git a/index/va/vaton/vaton-0.1.0.toml b/index/va/vaton/vaton-0.1.0.toml
new file mode 100644
index 00000000..4e1f2f0f
--- /dev/null
+++ b/index/va/vaton/vaton-0.1.0.toml
@@ -0,0 +1,41 @@
+name = "vaton"
+description = "Verified Ascii To Number conversion written in Ada/SPARK"
+version = "0.1.0"
+
+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
+```
+"""
+
+authors = ["Manuel Hatzl"]
+maintainers = ["Manuel Hatzl <hatzlmanuel@outlook.com>"]
+maintainers-logins = ["mhatzl"]
+tags = ["spark"]
+website = "https://github.com/mhatzl/vaton"
+licenses = "MIT"
+
+[[depends-on]]
+spark_unbound = "~0.2.1"
+[[depends-on]]
+# Needed for Ada.Numerics.Big_Numbers
+gnat = "(>=12.0.0 & <2000) | >=2021"
+
+[build-switches]
+"*".style_checks = "No"
+"*".ada_version = "Ada2022"
+"validation".compile_checks = "Warnings"
+
+[origin]
+commit = "c07eed4c36f9950c4bf93efb069eb6346fcca07f"
+url = "git+https://github.com/mhatzl/vaton.git"
+