src/Pure/Admin/component_sqlite.scala
changeset 81969 2feeac105b53
parent 81605 91dacb5b6574
equal deleted inserted replaced
81968:15d045d0d093 81969:2feeac105b53
     9 
     9 
    10 object Component_SQLite {
    10 object Component_SQLite {
    11   /* build sqlite */
    11   /* build sqlite */
    12 
    12 
    13   val default_main_url =
    13   val default_main_url =
    14     "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.47.1.0/sqlite-jdbc-3.47.1.0.jar"
    14     "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.48.0.0/sqlite-jdbc-3.48.0.0.jar"
    15 
    15 
    16   val default_logger_url =
    16   val default_logger_url =
    17     "https://repo1.maven.org/maven2/org/slf4j/slf4j-api/2.0.16/slf4j-api-2.0.16.jar"
    17     "https://repo1.maven.org/maven2/org/slf4j/slf4j-api/2.0.16/slf4j-api-2.0.16.jar"
    18 
    18 
    19   private def jar_name(url: String): String = {
    19   private def jar_name(url: String): String = {