bigints 0.1.0 (#1380)

* 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

@@ -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"
+