Skip to content

Commit

Permalink
Tzdb refresh
Browse files Browse the repository at this point in the history
  • Loading branch information
darrenldl committed Aug 1, 2023
1 parent ebfdf09 commit a494d81
Show file tree
Hide file tree
Showing 102 changed files with 866 additions and 477 deletions.
3 changes: 3 additions & 0 deletions gen-artifacts/available-time-zones.txt

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion gen-artifacts/tzdb_compressed_full.ml

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion gen-artifacts/tzdb_full.sexp

Large diffs are not rendered by default.

9 changes: 3 additions & 6 deletions tzdb-json/Africa/Addis_Ababa.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,8 @@
{
"name": "Africa/Addis_Ababa",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 9000 } ],
[ "-1946168836", { "is_dst": false, "offset": 9000 } ],
[ "-1309746600", { "is_dst": false, "offset": 10800 } ],
[ "-1261969200", { "is_dst": false, "offset": 9000 } ],
[ "-1041388200", { "is_dst": false, "offset": 9900 } ],
[ "-865305900", { "is_dst": false, "offset": 10800 } ]
[ "-62167168800", { "is_dst": false, "offset": 9320 } ],
[ "-3155682888", { "is_dst": false, "offset": 9320 } ],
[ "-1062210920", { "is_dst": false, "offset": 10800 } ]
]
}
10 changes: 4 additions & 6 deletions tzdb-json/Africa/Asmara.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,9 @@
{
"name": "Africa/Asmara",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 9000 } ],
[ "-1946168836", { "is_dst": false, "offset": 9000 } ],
[ "-1309746600", { "is_dst": false, "offset": 10800 } ],
[ "-1261969200", { "is_dst": false, "offset": 9000 } ],
[ "-1041388200", { "is_dst": false, "offset": 9900 } ],
[ "-865305900", { "is_dst": false, "offset": 10800 } ]
[ "-62167168800", { "is_dst": false, "offset": 9332 } ],
[ "-3155682932", { "is_dst": false, "offset": 9332 } ],
[ "-2524530932", { "is_dst": false, "offset": 9320 } ],
[ "-1062210920", { "is_dst": false, "offset": 10800 } ]
]
}
4 changes: 3 additions & 1 deletion tzdb-json/Africa/Bamako.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@
"name": "Africa/Bamako",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 0 } ],
[ "-1830383032", { "is_dst": false, "offset": 0 } ]
[ "-1830382080", { "is_dst": false, "offset": 0 } ],
[ "-1131235200", { "is_dst": false, "offset": -3600 } ],
[ "-300841200", { "is_dst": false, "offset": 0 } ]
]
}
7 changes: 2 additions & 5 deletions tzdb-json/Africa/Bangui.json
Original file line number Diff line number Diff line change
@@ -1,10 +1,7 @@
{
"name": "Africa/Bangui",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 0 } ],
[ "-2035584815", { "is_dst": false, "offset": 0 } ],
[ "-1940889600", { "is_dst": false, "offset": 815 } ],
[ "-1767226415", { "is_dst": false, "offset": 1800 } ],
[ "-1588465800", { "is_dst": false, "offset": 3600 } ]
[ "-62167168800", { "is_dst": false, "offset": 3600 } ],
[ "-1830388460", { "is_dst": false, "offset": 3600 } ]
]
}
6 changes: 4 additions & 2 deletions tzdb-json/Africa/Banjul.json
Original file line number Diff line number Diff line change
@@ -1,7 +1,9 @@
{
"name": "Africa/Banjul",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 0 } ],
[ "-1830383032", { "is_dst": false, "offset": 0 } ]
[ "-62167168800", { "is_dst": false, "offset": -3996 } ],
[ "-1830380004", { "is_dst": false, "offset": -3996 } ],
[ "-1159829604", { "is_dst": false, "offset": -3600 } ],
[ "-880930800", { "is_dst": false, "offset": 0 } ]
]
}
6 changes: 4 additions & 2 deletions tzdb-json/Africa/Blantyre.json
Original file line number Diff line number Diff line change
@@ -1,7 +1,9 @@
{
"name": "Africa/Blantyre",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 7200 } ],
[ "-2109291020", { "is_dst": false, "offset": 7200 } ]
[ "-62167168800", { "is_dst": false, "offset": 8470 } ],
[ "-1844302800", { "is_dst": false, "offset": 8470 } ],
[ "-1751682070", { "is_dst": false, "offset": 8460 } ],
[ "-1404440460", { "is_dst": false, "offset": 7200 } ]
]
}
7 changes: 2 additions & 5 deletions tzdb-json/Africa/Brazzaville.json
Original file line number Diff line number Diff line change
@@ -1,10 +1,7 @@
{
"name": "Africa/Brazzaville",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 0 } ],
[ "-2035584815", { "is_dst": false, "offset": 0 } ],
[ "-1940889600", { "is_dst": false, "offset": 815 } ],
[ "-1767226415", { "is_dst": false, "offset": 1800 } ],
[ "-1588465800", { "is_dst": false, "offset": 3600 } ]
[ "-62167168800", { "is_dst": false, "offset": 3600 } ],
[ "-1830387668", { "is_dst": false, "offset": 3600 } ]
]
}
2 changes: 1 addition & 1 deletion tzdb-json/Africa/Bujumbura.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,6 @@
"name": "Africa/Bujumbura",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 7200 } ],
[ "-2109291020", { "is_dst": false, "offset": 7200 } ]
[ "-2524528648", { "is_dst": false, "offset": 7200 } ]
]
}
36 changes: 35 additions & 1 deletion tzdb-json/Africa/Cairo.json
Original file line number Diff line number Diff line change
Expand Up @@ -89,6 +89,40 @@
[ "1400191200", { "is_dst": true, "offset": 10800 } ],
[ "1403816400", { "is_dst": false, "offset": 7200 } ],
[ "1406844000", { "is_dst": true, "offset": 10800 } ],
[ "1411678800", { "is_dst": false, "offset": 7200 } ]
[ "1411678800", { "is_dst": false, "offset": 7200 } ],
[ "1682632800", { "is_dst": true, "offset": 10800 } ],
[ "1698354000", { "is_dst": false, "offset": 7200 } ],
[ "1714082400", { "is_dst": true, "offset": 10800 } ],
[ "1730408400", { "is_dst": false, "offset": 7200 } ],
[ "1745532000", { "is_dst": true, "offset": 10800 } ],
[ "1761858000", { "is_dst": false, "offset": 7200 } ],
[ "1776981600", { "is_dst": true, "offset": 10800 } ],
[ "1793307600", { "is_dst": false, "offset": 7200 } ],
[ "1809036000", { "is_dst": true, "offset": 10800 } ],
[ "1824757200", { "is_dst": false, "offset": 7200 } ],
[ "1840485600", { "is_dst": true, "offset": 10800 } ],
[ "1856206800", { "is_dst": false, "offset": 7200 } ],
[ "1871935200", { "is_dst": true, "offset": 10800 } ],
[ "1887656400", { "is_dst": false, "offset": 7200 } ],
[ "1903384800", { "is_dst": true, "offset": 10800 } ],
[ "1919710800", { "is_dst": false, "offset": 7200 } ],
[ "1934834400", { "is_dst": true, "offset": 10800 } ],
[ "1951160400", { "is_dst": false, "offset": 7200 } ],
[ "1966888800", { "is_dst": true, "offset": 10800 } ],
[ "1982610000", { "is_dst": false, "offset": 7200 } ],
[ "1998338400", { "is_dst": true, "offset": 10800 } ],
[ "2014059600", { "is_dst": false, "offset": 7200 } ],
[ "2029788000", { "is_dst": true, "offset": 10800 } ],
[ "2045509200", { "is_dst": false, "offset": 7200 } ],
[ "2061237600", { "is_dst": true, "offset": 10800 } ],
[ "2076958800", { "is_dst": false, "offset": 7200 } ],
[ "2092687200", { "is_dst": true, "offset": 10800 } ],
[ "2109013200", { "is_dst": false, "offset": 7200 } ],
[ "2124136800", { "is_dst": true, "offset": 10800 } ],
[ "2140462800", { "is_dst": false, "offset": 7200 } ],
[ "2156191200", { "is_dst": true, "offset": 10800 } ],
[ "2171912400", { "is_dst": false, "offset": 7200 } ],
[ "2187640800", { "is_dst": true, "offset": 10800 } ],
[ "2203362000", { "is_dst": false, "offset": 7200 } ]
]
}
6 changes: 3 additions & 3 deletions tzdb-json/Africa/Casablanca.json
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@
[ "1648346400", { "is_dst": true, "offset": 0 } ],
[ "1651975200", { "is_dst": false, "offset": 3600 } ],
[ "1679191200", { "is_dst": true, "offset": 0 } ],
[ "1682820000", { "is_dst": false, "offset": 3600 } ],
[ "1682215200", { "is_dst": false, "offset": 3600 } ],
[ "1710036000", { "is_dst": true, "offset": 0 } ],
[ "1713060000", { "is_dst": false, "offset": 3600 } ],
[ "1740276000", { "is_dst": true, "offset": 0 } ],
Expand All @@ -73,7 +73,7 @@
[ "1893290400", { "is_dst": true, "offset": 0 } ],
[ "1896919200", { "is_dst": false, "offset": 3600 } ],
[ "1924135200", { "is_dst": true, "offset": 0 } ],
[ "1927764000", { "is_dst": false, "offset": 3600 } ],
[ "1927159200", { "is_dst": false, "offset": 3600 } ],
[ "1954980000", { "is_dst": true, "offset": 0 } ],
[ "1958004000", { "is_dst": false, "offset": 3600 } ],
[ "1985220000", { "is_dst": true, "offset": 0 } ],
Expand All @@ -89,7 +89,7 @@
[ "2138234400", { "is_dst": true, "offset": 0 } ],
[ "2141863200", { "is_dst": false, "offset": 3600 } ],
[ "2169079200", { "is_dst": true, "offset": 0 } ],
[ "2172708000", { "is_dst": false, "offset": 3600 } ],
[ "2172103200", { "is_dst": false, "offset": 3600 } ],
[ "2199924000", { "is_dst": true, "offset": 0 } ],
[ "2202948000", { "is_dst": false, "offset": 3600 } ]
]
Expand Down
4 changes: 3 additions & 1 deletion tzdb-json/Africa/Conakry.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@
"name": "Africa/Conakry",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 0 } ],
[ "-1830383032", { "is_dst": false, "offset": 0 } ]
[ "-1830380708", { "is_dst": false, "offset": 0 } ],
[ "-1131235200", { "is_dst": false, "offset": -3600 } ],
[ "-315615600", { "is_dst": false, "offset": 0 } ]
]
}
5 changes: 3 additions & 2 deletions tzdb-json/Africa/Dakar.json
Original file line number Diff line number Diff line change
@@ -1,7 +1,8 @@
{
"name": "Africa/Dakar",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 0 } ],
[ "-1830383032", { "is_dst": false, "offset": 0 } ]
[ "-62167168800", { "is_dst": false, "offset": -3600 } ],
[ "-1830379816", { "is_dst": false, "offset": -3600 } ],
[ "-902098800", { "is_dst": false, "offset": 0 } ]
]
}
10 changes: 4 additions & 6 deletions tzdb-json/Africa/Dar_es_Salaam.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,9 @@
{
"name": "Africa/Dar_es_Salaam",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 9000 } ],
[ "-1946168836", { "is_dst": false, "offset": 9000 } ],
[ "-1309746600", { "is_dst": false, "offset": 10800 } ],
[ "-1261969200", { "is_dst": false, "offset": 9000 } ],
[ "-1041388200", { "is_dst": false, "offset": 9900 } ],
[ "-865305900", { "is_dst": false, "offset": 10800 } ]
[ "-62167168800", { "is_dst": false, "offset": 10800 } ],
[ "-1230777428", { "is_dst": false, "offset": 10800 } ],
[ "-694321200", { "is_dst": false, "offset": 9900 } ],
[ "-284006700", { "is_dst": false, "offset": 10800 } ]
]
}
8 changes: 2 additions & 6 deletions tzdb-json/Africa/Djibouti.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,7 @@
{
"name": "Africa/Djibouti",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 9000 } ],
[ "-1946168836", { "is_dst": false, "offset": 9000 } ],
[ "-1309746600", { "is_dst": false, "offset": 10800 } ],
[ "-1261969200", { "is_dst": false, "offset": 9000 } ],
[ "-1041388200", { "is_dst": false, "offset": 9900 } ],
[ "-865305900", { "is_dst": false, "offset": 10800 } ]
[ "-62167168800", { "is_dst": false, "offset": 10800 } ],
[ "-1846291956", { "is_dst": false, "offset": 10800 } ]
]
}
7 changes: 2 additions & 5 deletions tzdb-json/Africa/Douala.json
Original file line number Diff line number Diff line change
@@ -1,10 +1,7 @@
{
"name": "Africa/Douala",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 0 } ],
[ "-2035584815", { "is_dst": false, "offset": 0 } ],
[ "-1940889600", { "is_dst": false, "offset": 815 } ],
[ "-1767226415", { "is_dst": false, "offset": 1800 } ],
[ "-1588465800", { "is_dst": false, "offset": 3600 } ]
[ "-62167168800", { "is_dst": false, "offset": 3600 } ],
[ "-1830386328", { "is_dst": false, "offset": 3600 } ]
]
}
6 changes: 3 additions & 3 deletions tzdb-json/Africa/El_Aaiun.json
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@
[ "1648346400", { "is_dst": true, "offset": 0 } ],
[ "1651975200", { "is_dst": false, "offset": 3600 } ],
[ "1679191200", { "is_dst": true, "offset": 0 } ],
[ "1682820000", { "is_dst": false, "offset": 3600 } ],
[ "1682215200", { "is_dst": false, "offset": 3600 } ],
[ "1710036000", { "is_dst": true, "offset": 0 } ],
[ "1713060000", { "is_dst": false, "offset": 3600 } ],
[ "1740276000", { "is_dst": true, "offset": 0 } ],
Expand All @@ -70,7 +70,7 @@
[ "1893290400", { "is_dst": true, "offset": 0 } ],
[ "1896919200", { "is_dst": false, "offset": 3600 } ],
[ "1924135200", { "is_dst": true, "offset": 0 } ],
[ "1927764000", { "is_dst": false, "offset": 3600 } ],
[ "1927159200", { "is_dst": false, "offset": 3600 } ],
[ "1954980000", { "is_dst": true, "offset": 0 } ],
[ "1958004000", { "is_dst": false, "offset": 3600 } ],
[ "1985220000", { "is_dst": true, "offset": 0 } ],
Expand All @@ -86,7 +86,7 @@
[ "2138234400", { "is_dst": true, "offset": 0 } ],
[ "2141863200", { "is_dst": false, "offset": 3600 } ],
[ "2169079200", { "is_dst": true, "offset": 0 } ],
[ "2172708000", { "is_dst": false, "offset": 3600 } ],
[ "2172103200", { "is_dst": false, "offset": 3600 } ],
[ "2199924000", { "is_dst": true, "offset": 0 } ],
[ "2202948000", { "is_dst": false, "offset": 3600 } ]
]
Expand Down
22 changes: 20 additions & 2 deletions tzdb-json/Africa/Freetown.json
Original file line number Diff line number Diff line change
@@ -1,7 +1,25 @@
{
"name": "Africa/Freetown",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 0 } ],
[ "-1830383032", { "is_dst": false, "offset": 0 } ]
[ "-62167168800", { "is_dst": false, "offset": -3180 } ],
[ "-2776979220", { "is_dst": false, "offset": -3180 } ],
[ "-1783120020", { "is_dst": false, "offset": -3600 } ],
[ "-1170284400", { "is_dst": true, "offset": -2400 } ],
[ "-1159831200", { "is_dst": false, "offset": -3600 } ],
[ "-1146610800", { "is_dst": true, "offset": -2400 } ],
[ "-1128295200", { "is_dst": false, "offset": -3600 } ],
[ "-1115074800", { "is_dst": true, "offset": -2400 } ],
[ "-1096759200", { "is_dst": false, "offset": -3600 } ],
[ "-1083538800", { "is_dst": true, "offset": -2400 } ],
[ "-1065136800", { "is_dst": false, "offset": -3600 } ],
[ "-1051916400", { "is_dst": true, "offset": -2400 } ],
[ "-1033600800", { "is_dst": false, "offset": -3600 } ],
[ "-1020380400", { "is_dst": true, "offset": -2400 } ],
[ "-1002064800", { "is_dst": false, "offset": -3600 } ],
[ "-988844400", { "is_dst": true, "offset": -2400 } ],
[ "-965258400", { "is_dst": false, "offset": -3600 } ],
[ "-957308400", { "is_dst": true, "offset": -2400 } ],
[ "-956964000", { "is_dst": false, "offset": -3600 } ],
[ "-885769200", { "is_dst": false, "offset": 0 } ]
]
}
7 changes: 5 additions & 2 deletions tzdb-json/Africa/Gaborone.json
Original file line number Diff line number Diff line change
@@ -1,7 +1,10 @@
{
"name": "Africa/Gaborone",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 7200 } ],
[ "-2109291020", { "is_dst": false, "offset": 7200 } ]
[ "-62167168800", { "is_dst": false, "offset": 5400 } ],
[ "-2682294220", { "is_dst": false, "offset": 5400 } ],
[ "-2109288600", { "is_dst": false, "offset": 7200 } ],
[ "-829526400", { "is_dst": true, "offset": 10800 } ],
[ "-813805200", { "is_dst": false, "offset": 7200 } ]
]
}
2 changes: 1 addition & 1 deletion tzdb-json/Africa/Harare.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,6 @@
"name": "Africa/Harare",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 7200 } ],
[ "-2109291020", { "is_dst": false, "offset": 7200 } ]
[ "-2109290652", { "is_dst": false, "offset": 7200 } ]
]
}
11 changes: 5 additions & 6 deletions tzdb-json/Africa/Kampala.json
Original file line number Diff line number Diff line change
@@ -1,11 +1,10 @@
{
"name": "Africa/Kampala",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 9000 } ],
[ "-1946168836", { "is_dst": false, "offset": 9000 } ],
[ "-1309746600", { "is_dst": false, "offset": 10800 } ],
[ "-1261969200", { "is_dst": false, "offset": 9000 } ],
[ "-1041388200", { "is_dst": false, "offset": 9900 } ],
[ "-865305900", { "is_dst": false, "offset": 10800 } ]
[ "-62167168800", { "is_dst": false, "offset": 10800 } ],
[ "-1309745380", { "is_dst": false, "offset": 10800 } ],
[ "-1262314800", { "is_dst": false, "offset": 9000 } ],
[ "-694319400", { "is_dst": false, "offset": 9900 } ],
[ "-410237100", { "is_dst": false, "offset": 10800 } ]
]
}
2 changes: 1 addition & 1 deletion tzdb-json/Africa/Kigali.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,6 @@
"name": "Africa/Kigali",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 7200 } ],
[ "-2109291020", { "is_dst": false, "offset": 7200 } ]
[ "-1091498416", { "is_dst": false, "offset": 7200 } ]
]
}
7 changes: 2 additions & 5 deletions tzdb-json/Africa/Kinshasa.json
Original file line number Diff line number Diff line change
@@ -1,10 +1,7 @@
{
"name": "Africa/Kinshasa",
"table": [
[ "-62167168800", { "is_dst": false, "offset": 0 } ],
[ "-2035584815", { "is_dst": false, "offset": 0 } ],
[ "-1940889600", { "is_dst": false, "offset": 815 } ],
[ "-1767226415", { "is_dst": false, "offset": 1800 } ],
[ "-1588465800", { "is_dst": false, "offset": 3600 } ]
[ "-62167168800", { "is_dst": false, "offset": 3600 } ],
[ "-2276643672", { "is_dst": false, "offset": 3600 } ]
]
}
Loading

0 comments on commit a494d81

Please sign in to comment.