Update releases in appstream metadata to make flathub happy.

diff --git a/doc/org.gnu.pspp.metainfo.xml.in b/doc/org.gnu.pspp.metainfo.xml.in
index 2583e7dc19f80f7ef1c1a26efcc5cc86cd647cb5..9378459f6cc245b4b989257b1eb83d4c4e670a89 100644 (file)
--- a/doc/org.gnu.pspp.metainfo.xml.in
+++ b/doc/org.gnu.pspp.metainfo.xml.in
@@ -63,13 +63,16 @@
     <release version="2.0.0" date="2023-12-31">
       <url>https://git.savannah.gnu.org/cgit/pspp.git/tree/NEWS?h=v2.0.0</url>
     </release>
-    <release version="2.0.0-pre3" date="2023-11-02">
+    <!-- For pre-releases, use ~preN in version="..." to ensure proper version
+         comparisons with appstream (otherwise, flathub will reject it).  But
+         use -preN in the Savannah URLs because that's the tag name. -->
+    <release version="2.0.0~pre3" date="2023-11-02">
       <url>https://git.savannah.gnu.org/cgit/pspp.git/tree/NEWS?h=v2.0.0-pre3</url>
     </release>
-    <release version="2.0.0-pre2" date="2023-10-31">
+    <release version="2.0.0~pre2" date="2023-10-31">
       <url>https://git.savannah.gnu.org/cgit/pspp.git/tree/NEWS?h=v2.0.0-pre2</url>
     </release>
-    <release version="2.0.0-pre1" date="2023-05-06">
+    <release version="2.0.0~pre1" date="2023-05-06">
       <url>https://git.savannah.gnu.org/cgit/pspp.git/tree/NEWS?h=v2.0.0-pre1</url>
     </release>
     <release version="1.6.2" date="2022-07-01">