From 216f5fa70f53ea66a8228378e2c667fba9b13292 Mon Sep 17 00:00:00 2001
From: Minijackson <minijackson@riseup.net>
Date: Mon, 17 Aug 2026 18:25:00 +0200
Subject: [PATCH] maven: fix the version of Maven plugins

This ensures the reproducibility of the build environment,
by always using the same version of the plugins.

Note that previously the version of the `maven-source-plugin` used
wasn't 3.4.0, but the non-final 4.0.0-beta-1.
---
 pom.xml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pom.xml b/pom.xml
index a84ba189..74cf48b2 100644
--- a/pom.xml
+++ b/pom.xml
@@ -268,6 +268,7 @@
             <plugin>
                 <groupId>org.apache.maven.plugins</groupId>
                 <artifactId>maven-dependency-plugin</artifactId>
+                <version>3.7.0</version>
                 <executions>
                     <execution>
                         <id>copy</id>
@@ -449,6 +450,7 @@
                     <plugin>
                         <groupId>org.apache.maven.plugins</groupId>
                         <artifactId>maven-source-plugin</artifactId>
+                        <version>3.4.0</version>
                         <executions>
                             <execution>
                                 <id>attach-sources</id>