0.1.0

AldanTanneo · Jan 30, 2025 · f5a1486 · f5a1486
1 parent 3eb781f
commit f5a1486
Showing 1 changed file with 1 addition and 4 deletions.
diff --git 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 <[email protected]>"]
@@ -13,6 +13,3 @@ tags = []
 "*".ada_version = "Ada2022"
 development.optimization = ["-O3"]
 release.runtime_checks = "none"
-
-[[depends-on]]
-gnatprove = "^14.1"