This repository was archived by the owner on Mar 11, 2026. It is now read-only.

v15.0.1

Latest

Latest

damaki released this 22 Feb 14:12

8cb390c

This is a bugfix release that brings minor documentation updates and fixes some issues when running GNATprove on a project that uses the runtime.

Full Changelog: v15.0.0...v15.0.1

Assets 11