From eee264938f4a2e0b9992798fc828d7d1844de836 Mon Sep 17 00:00:00 2001
From: Bnyro <bnyro@tutanota.com>
Date: Wed, 13 Dec 2023 17:12:49 +0100
Subject: [PATCH] intellij-idea-community-edition: update to 2023.3.1.

---
 srcpkgs/intellij-idea-community-edition/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/intellij-idea-community-edition/template b/srcpkgs/intellij-idea-community-edition/template
index b700f39a722..4fd30341b67 100644
--- a/srcpkgs/intellij-idea-community-edition/template
+++ b/srcpkgs/intellij-idea-community-edition/template
@@ -1,6 +1,6 @@
 # Template file for 'intellij-idea-community-edition'
 pkgname=intellij-idea-community-edition
-version=2023.3
+version=2023.3.1
 revision=1
 archs="x86_64"
 depends="virtual?java-environment giflib libXtst hicolor-icon-theme"
@@ -9,7 +9,7 @@ maintainer="Bnyro <bnyro@tutanota.com>"
 license="Apache-2.0"
 homepage="https://www.jetbrains.org/"
 distfiles="https://download.jetbrains.com/idea/ideaIC-${version}.tar.gz"
-checksum=822dae9284a9432e110ee36a217d1da508061bf1fc17e38fb59c6912a9c8aef7
+checksum=7afd70b71e1fcb8280393d59ec58ab72f2ccf369f5d6e0035e6b265600531e4a
 repository=nonfree
 nopie=yes
 python_version=3