Upstream version 2023.3.1

intellij-idea-community_2023.3.1/debian/changelog

@@ -1,3 +1,9 @@
+intellij-idea-community (2023.3.1-1) lunar; urgency=medium
+
+  * Upstream version 2023.3.1
+
+ -- Marcel Kapfer <opensource@mmk2410.org>  Wed, 13 Dec 2023 14:04:39 +0000
+
 intellij-idea-community (2023.3-1) lunar; urgency=medium
 
   * Upstream version 2023.3

intellij-idea-community_2023.3.1/debian/postinst

@@ -5,13 +5,13 @@ set -e
 cd /opt/
 
 ## Extract the package
-tar xf /opt/ideaIC-2023.3.tar.gz
+tar xf /opt/ideaIC-2023.3.1.tar.gz
 
 ## Rename the directory
 mv /opt/idea-IC-* /opt/intellij-idea-community
 
 ## Remove  the tar.gz package
-rm /opt/ideaIC-2023.3.tar.gz
+rm /opt/ideaIC-2023.3.1.tar.gz
 
 ## Install the .desktop file, if necessary
 if [ -x "/usr/bin/desktop-file-install" ]; then

intellij-idea-community_2023.3.1/debian/preinst

@@ -5,6 +5,6 @@ set -e
 cd /opt/
 
 ## Download IntelliJ IDEA Community from the JetBrain servers
-wget -c https://download-cf.jetbrains.com/idea/ideaIC-2023.3.tar.gz
+wget -c https://download-cf.jetbrains.com/idea/ideaIC-2023.3.1.tar.gz
 
 ##DEBHELPER##