From 500f7aeb2d18b84c0aa092677a4c9ea1759d47cc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9sar=20Sagaert?= <sagaert.cesar@gmail.com>
Date: Sun, 2 Feb 2025 10:04:42 +0100
Subject: [PATCH] bigints 0.1.0 (#1380)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* bigints 0.1.0-dev (via `alr publish`)

* Rename bigints-0.1.0-dev.toml to bigints-0.1.0.toml

* add tags

---------

Co-authored-by: César Sagaert <sagaert@adacore.com>
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
Co-authored-by: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
---
 index/bi/bigints/bigints-0.1.0.toml | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 index/bi/bigints/bigints-0.1.0.toml

diff --git a/index/bi/bigints/bigints-0.1.0.toml b/index/bi/bigints/bigints-0.1.0.toml
new file mode 100644
index 00000000..96324abb
--- /dev/null
+++ b/index/bi/bigints/bigints-0.1.0.toml
@@ -0,0 +1,20 @@
+name = "bigints"
+description = "Experimental SPARK Constant Time Big Integer library"
+version = "0.1.0"
+
+authors = ["Cesar SAGAERT"]
+maintainers = ["Cesar SAGAERT <sagaert@adacore.com>"]
+maintainers-logins = ["AldanTanneo"]
+licenses = "MIT"
+website = "https://github.com/AldanTanneo/bigints"
+tags = ["spark", "cryptography", "prime-field", "integers"]
+
+[build-switches]
+"*".ada_version = "Ada2022"
+development.optimization = ["-O3"]
+release.runtime_checks = "none"
+
+[origin]
+commit = "f5a14868e8a0e2cf8e273c592c11b8de02e81164"
+url = "git+https://github.com/AldanTanneo/bigints.git"
+