From f5a14868e8a0e2cf8e273c592c11b8de02e81164 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9sar=20Sagaert?= <sagaert.cesar@gmail.com>
Date: Thu, 30 Jan 2025 14:15:55 +0100
Subject: [PATCH] 0.1.0

---
 alire.toml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/alire.toml b/alire.toml
index dce1cc9..945a592 100644
--- a/alire.toml
+++ b/alire.toml
@@ -1,6 +1,6 @@
 name = "bigints"
 description = ""
-version = "0.1.0-dev"
+version = "0.1.0"
 
 authors = ["Cesar SAGAERT"]
 maintainers = ["Cesar SAGAERT <sagaert@adacore.com>"]
@@ -13,6 +13,3 @@ tags = []
 "*".ada_version = "Ada2022"
 development.optimization = ["-O3"]
 release.runtime_checks = "none"
-
-[[depends-on]]
-gnatprove = "^14.1"