#1141439 gprbuild: discrepancy between package version and version printed by `gprbuild --version`

Package:
gprbuild
Source:
gprbuild
Description:
multi-language extensible build tool
Submitter:
Jesper Quorning
Date:
2026-07-04 20:45:02 UTC
Severity:
normal
#1141439#5
Date:
2026-07-04 20:42:53 UTC
From:
To:
Dear Maintainer,

`gprbuild --version` shows:

GPRBUILD Pro 18.0w (19940713) (x86_64-linux-gnu)
Copyright (C) 2004-2016, AdaCore
This is free software; see the source for copying conditions.
See your AdaCore support agreement for details of warranty and support.
If you do not have a current support agreement, then there is absolutely
no warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE.

This is different from gprbuild package version (2025.0.0).