diff -Nru gnat-12.2ubuntu1/debian/changelog gnat-13.2ubuntu2/debian/changelog --- gnat-12.2ubuntu1/debian/changelog 2022-12-29 08:19:47.000000000 +0000 +++ gnat-13.2ubuntu2/debian/changelog 2024-03-31 06:03:33.000000000 +0000 @@ -1,6 +1,42 @@ +gnat (13.2ubuntu2) noble; urgency=medium + + * No-change rebuild for CVE-2024-3094 + + -- Steve Langasek Sun, 31 Mar 2024 06:03:33 +0000 + +gnat (13.2ubuntu1) noble; urgency=medium + + * Merge with Debian; remaining changes: + - Build the gnat-doc package. + - Build gnat as an architecture dependent package. + + -- Matthias Klose Tue, 19 Mar 2024 11:49:37 +0100 + +gnat (13.2) unstable; urgency=medium + + * Reupload to unstable for the gnat-13/time_t64 transition. + + -- Nicolas Boulenguez Sun, 17 Mar 2024 13:43:12 +0100 + +gnat (13.1) experimental; urgency=medium + + * Require a gnat-13 version providing gnat-13-HASH. + + -- Nicolas Boulenguez Wed, 25 Oct 2023 11:31:03 +0000 + +gnat (13.0) experimental; urgency=medium + + * Start the gnat-13 transition in experimental. + * Remove debian_packaging.mk (replaced with packaging.mk + installed by the dh-ada-library package). + + -- Nicolas Boulenguez Sun, 22 Oct 2023 20:58:26 +0000 + gnat (12.2ubuntu1) lunar; urgency=medium * Merge with Debian; remaining changes: + - Build the gnat-doc package. + - Build gnat as an architecture dependent package. -- Matthias Klose Thu, 29 Dec 2022 09:19:47 +0100 diff -Nru gnat-12.2ubuntu1/debian/control gnat-13.2ubuntu2/debian/control --- gnat-12.2ubuntu1/debian/control 2022-12-29 08:19:47.000000000 +0000 +++ gnat-13.2ubuntu2/debian/control 2024-03-19 10:49:37.000000000 +0000 @@ -14,7 +14,7 @@ Architecture: amd64 arm64 armhf i386 powerpc ppc64el riscv64 s390x Depends: ${misc:Depends}, gcc, - gnat-12, + gnat-13 (>= 13.2.0-3), Suggests: ada-reference-manual-2012 Description: GNU Ada compiler GNAT is a full-featured Ada 2012 compiler. A quote from diff -Nru gnat-12.2ubuntu1/debian/copyright gnat-13.2ubuntu2/debian/copyright --- gnat-12.2ubuntu1/debian/copyright 2022-12-26 22:03:00.000000000 +0000 +++ gnat-13.2ubuntu2/debian/copyright 2023-08-22 13:57:50.000000000 +0000 @@ -2,7 +2,7 @@ Files: * Copyright: 2009-2014 Ludovic Brenta - 2014-2022 Nicolas Boulenguez + 2014-2023 Nicolas Boulenguez License: GPL-3+ This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by diff -Nru gnat-12.2ubuntu1/debian/rules gnat-13.2ubuntu2/debian/rules --- gnat-12.2ubuntu1/debian/rules 2022-12-26 22:03:00.000000000 +0000 +++ gnat-13.2ubuntu2/debian/rules 2023-08-22 13:57:50.000000000 +0000 @@ -1,10 +1,3 @@ #!/usr/bin/make -f %: dh $@ - -DEB_GNAT_VERSION = $(shell \ - sed '/^ gnat-\([0-9]\+\),$$/!d;s//\1/;q' debian/control) -execute_after_dh_install: - mkdir -p debian/gnat/usr/share/ada - sed s/@DEB_GNAT_VERSION@/$(DEB_GNAT_VERSION)/ debian_packaging.mk \ - > debian/gnat/usr/share/ada/debian_packaging.mk diff -Nru gnat-12.2ubuntu1/debian_packaging.mk gnat-13.2ubuntu2/debian_packaging.mk --- gnat-12.2ubuntu1/debian_packaging.mk 2022-12-26 22:03:00.000000000 +0000 +++ gnat-13.2ubuntu2/debian_packaging.mk 1970-01-01 00:00:00.000000000 +0000 @@ -1,117 +0,0 @@ -# Common settings for Ada Debian packaging. -# -# Copyright (C) 2012-2021 Nicolas Boulenguez -# -# This program is free software: you can redistribute it and/or -# modify it under the terms of the GNU General Public License as -# published by the Free Software Foundation, either version 3 of the -# License, or (at your option) any later version. -# This program is distributed in the hope that it will be useful, but -# WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -# General Public License for more details. -# You should have received a copy of the GNU General Public License -# along with this program. If not, see . - -# Typical use: -# -# DEB_BUILD_MAINT_OPTIONS := hardening=+all -# DEB_LDFLAGS_MAINT_APPEND := -Wl,--no-undefined -Wl,--no-copy-dt-needed-entries -Wl,--no-allow-shlib-undefined -# DEB_ADAFLAGS_MAINT_APPEND := -gnatwa -Wall -# DPKG_EXPORT_BUILDFLAGS := 1 -# include /usr/share/dpkg/buildflags.mk -# include /usr/share/dpkg/buildopts.mk -# include $(wildcard /usr/share/ada/debian_packaging.mk) -# # The wilcard is useful when Build-Depends-Indep does not contain gnat. - -# We need both buildflags.mk and buildopts.mk. Direct inclusion here -# may cause subtle problems with lazy evaluation in buildflags.mk if -# debian/rules also includes it later. -# Could become a simple include once they are protected against double -# inclusion (#872381). -ifneq (,$(filter-out $(MAKEFILE_LIST),/usr/share/dpkg/buildflags.mk \ - /usr/share/dpkg/buildopts.mk)) - $(error Please include /usr/share/dpkg/default.mk or the more specific \ - build{flags,opts}.mk before debian_packaging.mk)) -endif - -# Ada is not in dpkg-dev flag list. We add a sensible default here. - -# Format checking is meaningless for Ada sources. -ADAFLAGS := $(filter-out -Wformat -Werror=format-security, $(CFLAGS)) - -ifdef DEB_ADAFLAGS_SET - ADAFLAGS := $(DEB_ADAFLAGS_SET) -endif -ADAFLAGS := $(DEB_ADAFLAGS_PREPEND) \ - $(filter-out $(DEB_ADAFLAGS_STRIP),$(ADAFLAGS)) \ - $(DEB_ADAFLAGS_APPEND) - -ifdef DEB_ADAFLAGS_MAINT_SET - ADAFLAGS := $(DEB_ADAFLAGS_MAINT_SET) -endif -ADAFLAGS := $(DEB_ADAFLAGS_MAINT_PREPEND) \ - $(filter-out $(DEB_ADAFLAGS_MAINT_STRIP),$(ADAFLAGS)) \ - $(DEB_ADAFLAGS_MAINT_APPEND) - -ifdef DPKG_EXPORT_BUILDFLAGS - export ADAFLAGS -endif - -###################################################################### -# Options for gprbuild/gnatmake. - -# Let Make delegate parallelism to gnatmake/gprbuild. -.NOTPARALLEL: - -# Only set a -j option if explicitly requested by DEB_BUILD_OPTIONS -# (like Debhelper). -# Some GNAT projects, especially when driven by a Makefile, offer a -# parallelism configuration that interacts in obscure ways with -j. -# If so, set DEB_GPRBUILDFLAGS_NO_J before including this Makefile and -# use DEB_BUILD_OPTION_PARALLEL directly. - -ifdef DEB_BUILD_OPTION_PARALLEL - GNATMAKEFLAGS += -j$(DEB_BUILD_OPTION_PARALLEL) - ifndef DEB_GPRBUILDFLAGS_NO_J - GPRBUILDFLAGS += -j$(DEB_BUILD_OPTION_PARALLEL) - endif -endif - -GNATMAKEFLAGS += -R -GPRBUILDFLAGS += -R -# Avoid lintian warning about setting an explicit library runpath. -# http://wiki.debian.org/RpathIssue - -ifeq (,$(filter terse,$(DEB_BUILD_OPTIONS))) - GNATMAKEFLAGS += -v - GPRBUILDFLAGS += -v -endif -# Make exact command lines available for automatic log checkers. - -GNATMAKEFLAGS += -eS -# Tell gnatmake to echo commands to stdout instead of stderr, avoiding -# buildds thinking it is inactive and killing it. -# -eS is the default on gprbuild. - -# In libxmlada/22.0.0-3, gnatmake calls gcc with -gnatO /build/path/foo.o. -# This results in unreproducible debug information. -# This should ideally be fixed by BUILD_PATH_PREFIX_MAP or relative paths. -GNATMAKEFLAGS += -cargs -gno-record-gcc-switches -margs - -# Gprbuild generates -gnate[cm] switches with a counter, but -# parallelism makes the enumeration order unreproducible. -GPRBUILDFLAGS += -cargs:ada -gno-record-gcc-switches -gargs - -# You may be interested in -# -s recompile if compilation switches have changed -# (bad default because of interactions between -amxs and standard library) -# -we handle warnings as errors -# -vP2 verbose when parsing projects. - -# This equivalent of `gcc -dumpversion` may help mixing with C/C++/Fortran/... -# as described in /usr/share/doc/gnat-base/README.gnat. -DEB_GNAT_VERSION := @DEB_GNAT_VERSION@ -# For GPR projects, gprconfig creates default.cgpr and gprbuild uses it: -# gprconfig --batch --config=Ada --config=C,,,,gcc-$(DEB_GNAT_VERSION) -# gprbuild foo.gpr