equal
deleted
inserted
replaced
31 def url(repo_url: String): String = repo_url + "/" + maven_dir + "/" + file_name |
31 def url(repo_url: String): String = repo_url + "/" + maven_dir + "/" + file_name |
32 } |
32 } |
33 |
33 |
34 val jars = |
34 val jars = |
35 List( |
35 List( |
36 Jar("jakarta.mail", "jakarta.mail-api", "2.1.2"), |
36 Jar("jakarta.mail", "jakarta.mail-api", "2.1.3"), |
37 Jar("jakarta.activation", "jakarta.activation-api", "2.1.2"), |
37 Jar("jakarta.activation", "jakarta.activation-api", "2.1.3"), |
38 Jar("org.eclipse.angus", "angus-mail", "2.0.2"), |
38 Jar("org.eclipse.angus", "angus-mail", "2.0.3"), |
39 Jar("org.eclipse.angus", "angus-activation", "2.0.1")) |
39 Jar("org.eclipse.angus", "angus-activation", "2.0.2")) |
40 |
40 |
41 |
41 |
42 /* build javamail */ |
42 /* build javamail */ |
43 |
43 |
44 val default_download_repo = "https://repo1.maven.org/maven2" |
44 val default_download_repo = "https://repo1.maven.org/maven2" |