Your message dated Tue, 15 Sep 2026 09:24:17 +0200
with message-id <[email protected]>
and subject line Re: gprbuild: discrepancy between package version and version
printed by `gprbuild --version
has caused the Debian Bug report #1141439,
regarding gprbuild: discrepancy between package version and version printed by
`gprbuild --version`
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1141439: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1141439
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: gprbuild
Version: 2025.0.0-4
Severity: normal
X-Debbugs-Cc: [email protected]
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).
-- System Information:
Debian Release: 13.5
APT prefers stable-updates
APT policy: (500, 'stable-updates'), (500, 'stable-security'), (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 6.12.90+deb13.1-amd64 (SMP w/4 CPU threads; PREEMPT)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_WARN, TAINT_OOT_MODULE,
TAINT_UNSIGNED_MODULE
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8),
LANGUAGE=en_GB:en
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
Versions of packages gprbuild depends on:
ii gprconfig-kb 25.0.0-2
ii libc6 2.41-12+deb13u3
ii libgcc-s1 14.2.0-19
ii libgnat-14 14.2.0-19
ii libgnatprj12 2025.0.0-4
ii libxmlada-dom9 25.0.0-4
ii libxmlada-input8 25.0.0-4
ii libxmlada-sax8 25.0.0-4
ii libxmlada-schema8 25.0.0-4
ii libxmlada-unicode8 25.0.0-4
gprbuild recommends no packages.
Versions of packages gprbuild suggests:
ii g++ 4:14.2.0-1
ii gcc 4:14.2.0-1
pn gfortran <none>
ii gnat 14.1
pn gprbuild-doc <none>
-- no debconf information
--- End Message ---
--- Begin Message ---
> `gprbuild --version` shows:
>
> GPRBUILD Pro 18.0w (19940713) (x86_64-linux-gnu)
> Copyright (C) 2004-2016, AdaCore
what do you expect? remove your AdaCore installation, or get it out of
your PATH if you don't want to use it.
That's not a bug.
--- End Message ---
