Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/component_javamail.scala
changeset 83329 a12f6d3bae26
parent 81901 fab7c8c91c09 
--- a/src/Pure/Admin/component_javamail.scala	Wed Oct 22 10:20:57 2025 +0200
+++ b/src/Pure/Admin/component_javamail.scala	Wed Oct 22 10:31:50 2025 +0200
@@ -33,10 +33,10 @@
 
   val jars =
     List(
-      Jar("jakarta.mail", "jakarta.mail-api", "2.1.3"),
-      Jar("jakarta.activation", "jakarta.activation-api", "2.1.3"),
-      Jar("org.eclipse.angus", "angus-mail", "2.0.3"),
-      Jar("org.eclipse.angus", "angus-activation", "2.0.2"))
+      Jar("jakarta.mail", "jakarta.mail-api", "2.1.5"),
+      Jar("jakarta.activation", "jakarta.activation-api", "2.1.4"),
+      Jar("org.eclipse.angus", "angus-mail", "2.0.5"),
+      Jar("org.eclipse.angus", "angus-activation", "2.0.3"))
 
 
   /* build javamail */
isabelle