| changeset 77593 | 08ed864fed24 |
| parent 77566 | 2a99fcb283ee |
| child 78158 | 8b5a2e4b16d4 |
--- a/src/Pure/Admin/component_sqlite.scala Wed Mar 08 22:40:15 2023 +0100 +++ b/src/Pure/Admin/component_sqlite.scala Wed Mar 08 22:40:47 2023 +0100 @@ -11,7 +11,7 @@ /* build sqlite */ val default_download_url = - "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.39.4.1/sqlite-jdbc-3.39.4.1.jar" + "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.41.0.0/sqlite-jdbc-3.41.0.0.jar" def build_sqlite( download_url: String = default_download_url,