chore: update tzif dependency to ^3.0.3 for v1.1.1 release

Author: abitofhelp

.github/workflows/windows-ci.yml

@@ -58,9 +58,9 @@ jobs:
         shell: bash
         run: |
           # Replace local path pins with GitHub URL pins
-          # functional v4.0.0, tzif v3.0.0
+          # functional v4.0.0, tzif v3.0.3
           sed -i "s|functional = { path = '../functional' }|functional = { url = \"https://github.com/abitofhelp/functional.git\", commit = \"d429ad4534d3d19e76f6cf19b0f96fa008925658\" }|" alire.toml
-          sed -i "s|tzif = { path = '../tzif' }|tzif = { url = \"https://github.com/abitofhelp/tzif_ada.git\", commit = \"ae94a8870d31a673b2e7f0fb1fbca878fdb94551\" }|" alire.toml
+          sed -i "s|tzif = { path = '../tzif' }|tzif = { url = \"https://github.com/abitofhelp/tzif_ada.git\", commit = \"e2a782a787a7351ac8776749288ed34d91c5abad\" }|" alire.toml
           echo "Updated pins to use GitHub URLs"
           echo "=== alire.toml pins ==="
           grep -A5 '^\[\[pins\]\]' alire.toml || true

.github/workflows/windows-release.yml

@@ -60,9 +60,9 @@ jobs:
         shell: bash
         run: |
           # Replace local path pins with GitHub URL pins
-          # functional v4.0.0, tzif v3.0.0
+          # functional v4.0.0, tzif v3.0.3
           sed -i "s|functional = { path = '../functional' }|functional = { url = \"https://github.com/abitofhelp/functional.git\", commit = \"d429ad4534d3d19e76f6cf19b0f96fa008925658\" }|" alire.toml
-          sed -i "s|tzif = { path = '../tzif' }|tzif = { url = \"https://github.com/abitofhelp/tzif_ada.git\", commit = \"ae94a8870d31a673b2e7f0fb1fbca878fdb94551\" }|" alire.toml
+          sed -i "s|tzif = { path = '../tzif' }|tzif = { url = \"https://github.com/abitofhelp/tzif_ada.git\", commit = \"e2a782a787a7351ac8776749288ed34d91c5abad\" }|" alire.toml
           echo "Updated pins to use GitHub URLs"
           echo "=== alire.toml pins ==="
           grep -A5 '^\[\[pins\]\]' alire.toml || true

CHANGELOG.md

@@ -1,7 +1,7 @@
 # Changelog
 
-**Version:** 1.1.0<br>
-**Date:** 2025-12-16<br>
+**Version:** 1.1.1<br>
+**Date:** 2025-12-17<br>
 **SPDX-License-Identifier:** BSD-3-Clause<br>
 **License File:** See the LICENSE file in the project root<br>
 **Copyright:** © 2025 Michael Gardner, A Bit of Help, Inc.<br>
@@ -12,10 +12,21 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [1.1.1] - 2025-12-17
+
+**Tests:** 335 unit + 154 integration = 489 total - All passing<br>
+**SPARK Status:** 710 checks: 60 flow, 596 proved, 54 unproved (~92% proved) (--mode=prove --level=2)<br>
+
+### Changed
+
+- **Dependency** - Updated tzif to ^3.0.3
+
+---
+
 ## [1.1.0] - 2025-12-16
 
 **Tests:** 335 unit + 154 integration = 489 total - All passing<br>
-**SPARK Status:** 710 checks: 60 flow, 596 proved, 54 unproved (--mode=prove --level=2)
+**SPARK Status:** 710 checks: 60 flow, 596 proved, 54 unproved (~92% proved) (--mode=prove --level=2)<br>
 
 ### Added
 
@@ -30,7 +41,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - **Domain.Error.Result** - Slimmed to 7 essential operations for SPARK compatibility
   - Kept: `Ok`, `Error`, `From_Error`, `Is_Ok`, `Is_Error`, `Value`, `Error_Info`
   - Removed combinators available via `Functional.Result` in infrastructure layer
-- **Dependency** - Updated tzif to ^3.0.0
+- **Dependency** - Requires tzif ^3.0.0
 
 ### Fixed
 
@@ -151,5 +162,6 @@ Initial release of the Zoneinfo timezone-aware datetime library for Ada 2022.
 - **Static Dispatch**: Generic instantiation for zero runtime overhead
 - **Library Standalone**: Explicit Library_Interface for ABI stability
 
+[1.1.1]: https://github.com/abitofhelp/zoneinfo/releases/tag/v1.1.1
 [1.1.0]: https://github.com/abitofhelp/zoneinfo/releases/tag/v1.1.0
 [1.0.0]: https://github.com/abitofhelp/zoneinfo/releases/tag/v1.0.0

README.md

@@ -352,7 +352,7 @@ make submodule-status
 | gnat | >=13 | Ada 2022 compiler |
 | gnatcoll | ^25.0.0 | GNAT components collection |
 | functional | ^4.0.0 | Result monad and functional patterns |
-| tzif | ^3.0.0 | IANA timezone database access |
+| tzif | ^3.0.3 | IANA timezone database access |
 
 ## Contributing
 
@@ -391,7 +391,7 @@ https://github.com/abitofhelp
 - ISO 8601 parsing and formatting
 - Timezone discovery with bounded arrays (SPARK-compatible)
 - Duration arithmetic and comparisons
-- TZif library integration (v3.0.0)
+- TZif library integration (v3.0.3)
 - 4-layer hexagonal architecture
 - Full test suite (489 tests)
 - Comprehensive documentation

alire.toml

@@ -1,6 +1,6 @@
 name = "zoneinfo"
 description = "Ada 2022 timezone library for zone calculations and durations"
-version = "1.1.0"
+version = "1.1.1"
 authors = ["Michael Gardner"]
 maintainers = ["Michael Gardner <mike@abitofhelp.com>"]
 maintainers-logins = ["abitofhelp"]
@@ -34,7 +34,7 @@ gnatcoll = "^25.0.0"
 functional = "^4.0.0"
 
 [[depends-on]]
-tzif = "^3.0.0"
+tzif = "^3.0.3"
 
 [[pins]]
 functional = { path = '../functional' }

docs/formal/software_design_specification.md

@@ -536,7 +536,7 @@ test/
 | Crate | Version | Purpose |
 |-------|---------|---------|
 | **functional** | ^4.0.0 | Result/Option/Try monads |
-| **tzif** | ^3.0.0 | IANA timezone database access |
+| **tzif** | ^3.0.3 | IANA timezone database access |
 | **gnatcoll** | ^25.0.0 | Bounded strings, utilities |
 
 **Compiler**: GNAT 14+ (Ada 2022)

docs/formal/software_requirements_specification.md

@@ -62,7 +62,7 @@ The library builds upon the tzif library for timezone data queries and DST calcu
 | Crate | Version | Purpose |
 |-------|---------|---------|
 | **functional** | ^4.0.0 | Result and Option monads for error handling |
-| **tzif** | ^3.0.0 | Timezone data queries and DST calculations |
+| **tzif** | ^3.0.3 | Timezone data queries and DST calculations |
 | **gnatcoll** | ^25.0.0 | Utility library for string operations |
 
 ---

docs/index.md

@@ -222,7 +222,7 @@ From_Error (E)  -- Convert Error_Type to Result
 | Crate | Version | Purpose |
 |-------|---------|---------|
 | **functional** | ^4.0.0 | Result/Option/Try monads |
-| **tzif** | ^3.0.0 | IANA timezone database access |
+| **tzif** | ^3.0.3 | IANA timezone database access |
 | **gnatcoll** | ^25.0.0 | GNAT Components Collection |
 
 **Compiler:** GNAT 14+ (Ada 2022)

docs/quick_start.md

@@ -53,7 +53,7 @@ alr build
 - **Alire** 2.0+ (Ada package manager)
 - **GNAT** 14+ (via Alire toolchain)
 - **Make** (for convenience targets)
-- **TZif Library** ^3.0.0 (automatically fetched by Alire)
+- **TZif Library** ^3.0.3 (automatically fetched by Alire)
 - **Functional Library** ^4.0.0 (automatically fetched by Alire)
 - **IANA Timezone Database** (typically in `/usr/share/zoneinfo` on Unix systems)