Package "gprbuild-doc"
Name: | gprbuild-doc |
Description: |
multi-language extensible build tool (documentation) |
Latest version: | 2024.1.20231009-5~24.04 |
Release: | noble (24.04) |
Level: | proposed |
Repository: | universe |
Head package: | gprbuild |
Homepage: | https://github.com/AdaCore/gprbuild |
Links
Download "gprbuild-doc"
Other versions of "gprbuild-doc" in Noble
Repository | Area | Version |
---|---|---|
base | universe | 2024.1.20231009-4build2 |
Changelog
Version: 2024.1.20231009-5~24.04 | 2024-10-16 21:06:55 UTC |
---|---|
gprbuild (2024.1.20231009-5~24.04) noble; urgency=medium * SRU: LP: #2083315: Backport changes for gnat 64bit time_t. |
About
-
Send Feedback to @ubuntu_updates