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 81901 fab7c8c91c09
parent 79443 0d7c7fe65638 
--- a/src/Pure/Admin/component_javamail.scala	Wed Jan 22 14:43:26 2025 +0100
+++ b/src/Pure/Admin/component_javamail.scala	Wed Jan 22 15:05:29 2025 +0100
@@ -33,10 +33,10 @@
 
   val jars =
     List(
-      Jar("jakarta.mail", "jakarta.mail-api", "2.1.2"),
-      Jar("jakarta.activation", "jakarta.activation-api", "2.1.2"),
-      Jar("org.eclipse.angus", "angus-mail", "2.0.2"),
-      Jar("org.eclipse.angus", "angus-activation", "2.0.1"))
+      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"))
 
 
   /* build javamail */
isabelle