patch gumtree

ibbem · ibbem · commit 078a189ebd26 · 2025-09-08T23:22:07.000+02:00
diff --git a/default.nix b/default.nix
@@ -26,7 +26,7 @@
     },
   doCheck ? true,
   buildGitHubPages ? true,
-  dependenciesHash ? "sha256-WzXHAEAGHHhvQIJD4RRV6QEKVsDOADTORmCZwi8HCgg=",
+  dependenciesHash ? "sha256-/4U9EuY58JuObPU4eklh5tBi2s3tQXvC4Pauv3SWRmM=",
 }:
 pkgs.stdenvNoCC.mkDerivation rec {
   pname = "DiffDetective";
diff --git a/lib/gumtree-core-3.1.0-SNAPSHOT.jar b/lib/gumtree-core-3.1.0-SNAPSHOT.jar
diff --git a/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/client-3.1.0-20250908.210446-2.jar b/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/client-3.1.0-20250908.210446-2.jar
diff --git a/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/client-3.1.0-20250908.210446-2.jar.md5 b/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/client-3.1.0-20250908.210446-2.jar.md5
@@ -0,0 +1 @@
+1a35e5613da6eac9bbf2eefcc5de5559
diff --git a/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/client-3.1.0-20250908.210446-2.jar.sha1 b/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/client-3.1.0-20250908.210446-2.jar.sha1
@@ -0,0 +1 @@
+4b809dba134db1e6dd604046cb8b29d1d4234c6e
diff --git a/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/client-3.1.0-20250908.210446-2.pom b/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/client-3.1.0-20250908.210446-2.pom
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
+  <modelVersion>4.0.0</modelVersion>
+  <groupId>com.github.gumtreediff</groupId>
+  <artifactId>client</artifactId>
+  <version>3.1.0-SNAPSHOT</version>
+</project>
diff --git a/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/client-3.1.0-20250908.210446-2.pom.md5 b/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/client-3.1.0-20250908.210446-2.pom.md5
@@ -0,0 +1 @@
+6e527f17def9837cec885c57e350ec4a
diff --git a/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/client-3.1.0-20250908.210446-2.pom.sha1 b/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/client-3.1.0-20250908.210446-2.pom.sha1
@@ -0,0 +1 @@
+6b88766be14dc630adf2803860ef0b2825cac141
diff --git a/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/maven-metadata.xml b/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/maven-metadata.xml
@@ -3,21 +3,21 @@
   <groupId>com.github.gumtreediff</groupId>
   <artifactId>client</artifactId>
   <versioning>
-    <lastUpdated>20230321174509</lastUpdated>
+    <lastUpdated>20250908210446</lastUpdated>
     <snapshot>
-      <timestamp>20230321.174509</timestamp>
-      <buildNumber>1</buildNumber>
+      <timestamp>20250908.210446</timestamp>
+      <buildNumber>2</buildNumber>
     </snapshot>
     <snapshotVersions>
       <snapshotVersion>
         <extension>jar</extension>
-        <value>3.1.0-20230321.174509-1</value>
-        <updated>20230321174509</updated>
+        <value>3.1.0-20250908.210446-2</value>
+        <updated>20250908210446</updated>
       </snapshotVersion>
       <snapshotVersion>
         <extension>pom</extension>
-        <value>3.1.0-20230321.174509-1</value>
-        <updated>20230321174509</updated>
+        <value>3.1.0-20250908.210446-2</value>
+        <updated>20250908210446</updated>
       </snapshotVersion>
     </snapshotVersions>
   </versioning>
diff --git a/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/maven-metadata.xml.md5 b/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/maven-metadata.xml.md5
@@ -1 +1 @@
-bafdfc934e042edbe35a88c8c07862a1
+46c58e8806f8bbcca4f946d566fe09a3
diff --git a/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/maven-metadata.xml.sha1 b/local-maven-repo/com/github/gumtreediff/client/3.1.0-SNAPSHOT/maven-metadata.xml.sha1
@@ -1 +1 @@
-b5faa7a713f085e4911b25db913217f3bfb49791
+f7c614cf5835a8eac8e0a64faba46edd6734d175
diff --git a/local-maven-repo/com/github/gumtreediff/client/maven-metadata.xml b/local-maven-repo/com/github/gumtreediff/client/maven-metadata.xml
@@ -6,6 +6,6 @@
     <versions>
       <version>3.1.0-SNAPSHOT</version>
     </versions>
-    <lastUpdated>20230321174509</lastUpdated>
+    <lastUpdated>20250908210446</lastUpdated>
   </versioning>
 </metadata>
diff --git a/local-maven-repo/com/github/gumtreediff/client/maven-metadata.xml.md5 b/local-maven-repo/com/github/gumtreediff/client/maven-metadata.xml.md5
@@ -1 +1 @@
-d1d1d31247d64a3c71e7ac3a1d942620
+61f9b44a6064d923f870385a78cf8220
diff --git a/local-maven-repo/com/github/gumtreediff/client/maven-metadata.xml.sha1 b/local-maven-repo/com/github/gumtreediff/client/maven-metadata.xml.sha1
@@ -1 +1 @@
-509b6b77f425a04300dabf183190d217a0c44ee3
+ec38e4a71bcfeca70a4b8854c1e8ccb45337aa09
diff --git a/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/core-3.1.0-20250908.210445-2.jar b/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/core-3.1.0-20250908.210445-2.jar
diff --git a/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/core-3.1.0-20250908.210445-2.jar.md5 b/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/core-3.1.0-20250908.210445-2.jar.md5
@@ -0,0 +1 @@
+b7076f409553f4eb03c3839b70bdd7b3
diff --git a/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/core-3.1.0-20250908.210445-2.jar.sha1 b/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/core-3.1.0-20250908.210445-2.jar.sha1
@@ -0,0 +1 @@
+60fdb1d4a524345408aa4af87d2f56396d3cc60f
diff --git a/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/core-3.1.0-20250908.210445-2.pom b/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/core-3.1.0-20250908.210445-2.pom
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
+  <modelVersion>4.0.0</modelVersion>
+  <groupId>com.github.gumtreediff</groupId>
+  <artifactId>core</artifactId>
+  <version>3.1.0-SNAPSHOT</version>
+</project>
diff --git a/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/core-3.1.0-20250908.210445-2.pom.md5 b/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/core-3.1.0-20250908.210445-2.pom.md5
@@ -0,0 +1 @@
+b92284eba26b3c5336efd71e92c05e61
diff --git a/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/core-3.1.0-20250908.210445-2.pom.sha1 b/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/core-3.1.0-20250908.210445-2.pom.sha1
@@ -0,0 +1 @@
+1b7801268a9b8cc60c49b80b42e49b3c3bba1d36
diff --git a/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/maven-metadata.xml b/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/maven-metadata.xml
@@ -3,21 +3,21 @@
   <groupId>com.github.gumtreediff</groupId>
   <artifactId>core</artifactId>
   <versioning>
-    <lastUpdated>20230321174522</lastUpdated>
+    <lastUpdated>20250908210445</lastUpdated>
     <snapshot>
-      <timestamp>20230321.174522</timestamp>
-      <buildNumber>1</buildNumber>
+      <timestamp>20250908.210445</timestamp>
+      <buildNumber>2</buildNumber>
     </snapshot>
     <snapshotVersions>
       <snapshotVersion>
         <extension>jar</extension>
-        <value>3.1.0-20230321.174522-1</value>
-        <updated>20230321174522</updated>
+        <value>3.1.0-20250908.210445-2</value>
+        <updated>20250908210445</updated>
       </snapshotVersion>
       <snapshotVersion>
         <extension>pom</extension>
-        <value>3.1.0-20230321.174522-1</value>
-        <updated>20230321174522</updated>
+        <value>3.1.0-20250908.210445-2</value>
+        <updated>20250908210445</updated>
       </snapshotVersion>
     </snapshotVersions>
   </versioning>
diff --git a/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/maven-metadata.xml.md5 b/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/maven-metadata.xml.md5
@@ -1 +1 @@
-7012baa5e3b23da5602fd67739cee85c
+8edf4fd11f715e56e81bcf6e6965d395
diff --git a/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/maven-metadata.xml.sha1 b/local-maven-repo/com/github/gumtreediff/core/3.1.0-SNAPSHOT/maven-metadata.xml.sha1
@@ -1 +1 @@
-7937bd0711dde91b1eead890a5db055e0c8822ec
+b186a42de9a46665e8d8595d85a8499b4abca92f
diff --git a/local-maven-repo/com/github/gumtreediff/core/maven-metadata.xml b/local-maven-repo/com/github/gumtreediff/core/maven-metadata.xml
@@ -6,6 +6,6 @@
     <versions>
       <version>3.1.0-SNAPSHOT</version>
     </versions>
-    <lastUpdated>20230321174522</lastUpdated>
+    <lastUpdated>20250908210445</lastUpdated>
   </versioning>
 </metadata>
diff --git a/local-maven-repo/com/github/gumtreediff/core/maven-metadata.xml.md5 b/local-maven-repo/com/github/gumtreediff/core/maven-metadata.xml.md5
@@ -1 +1 @@
-9733818dcf473b86a0e472ab84affb46
+85ca817b607dfabaae972bc0d1d1d22b
diff --git a/local-maven-repo/com/github/gumtreediff/core/maven-metadata.xml.sha1 b/local-maven-repo/com/github/gumtreediff/core/maven-metadata.xml.sha1
@@ -1 +1 @@
-3060c20a9d9590ad67b831adea22e05b9a8876f2
+4adbf7aecbf277d7feda8b4aef390f268c63dbe1

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+4b809dba134db1e6dd604046cb8b29d1d4234c6e`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+6b88766be14dc630adf2803860ef0b2825cac141`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-bafdfc934e042edbe35a88c8c07862a1`
	`1`	`+46c58e8806f8bbcca4f946d566fe09a3`