src/Pure/Admin/component_javamail.scala
changeset 83329 a12f6d3bae26
parent 81901 fab7c8c91c09
equal deleted inserted replaced
83328:ab0c42d059c3 83329:a12f6d3bae26
    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.3"),
    36       Jar("jakarta.mail", "jakarta.mail-api", "2.1.5"),
    37       Jar("jakarta.activation", "jakarta.activation-api", "2.1.3"),
    37       Jar("jakarta.activation", "jakarta.activation-api", "2.1.4"),
    38       Jar("org.eclipse.angus", "angus-mail", "2.0.3"),
    38       Jar("org.eclipse.angus", "angus-mail", "2.0.5"),
    39       Jar("org.eclipse.angus", "angus-activation", "2.0.2"))
    39       Jar("org.eclipse.angus", "angus-activation", "2.0.3"))
    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"