equal
deleted
inserted
replaced
11 /* URLs */ |
11 /* URLs */ |
12 |
12 |
13 val notable_urls = |
13 val notable_urls = |
14 List("https://jdbc.postgresql.org", "https://jdbc.postgresql.org/download") |
14 List("https://jdbc.postgresql.org", "https://jdbc.postgresql.org/download") |
15 |
15 |
16 val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.7.5.jar" |
16 val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.7.7.jar" |
17 |
17 |
18 |
18 |
19 /* build postgresql */ |
19 /* build postgresql */ |
20 |
20 |
21 def build_postgresql( |
21 def build_postgresql( |