-
Notifications
You must be signed in to change notification settings - Fork 0
/
Artifacts.toml
1624 lines (1472 loc) · 60.8 KB
/
Artifacts.toml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
[[z3]]
arch = "aarch64"
git-tree-sha1 = "feecc2a8caf3f5a76226b89b12f41007aa818a83"
julia_version = "1.10.0"
os = "macos"
[[z3.download]]
sha256 = "2ab5d64837eac8b20b359d132b07cc66da2e3d2adce4d8668ee4888e82dae102"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-apple-darwin-julia_version+1.10.0.tar.gz"
[[z3]]
arch = "aarch64"
git-tree-sha1 = "89980bf78f44c67c0f0aa44d070ae544f451ca9b"
julia_version = "1.11.1"
os = "macos"
[[z3.download]]
sha256 = "6897286114bbfc65eb62ab263539f55c5a0b0e2a57255fdeb57f927c2a7437c3"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-apple-darwin-julia_version+1.11.1.tar.gz"
[[z3]]
arch = "aarch64"
git-tree-sha1 = "ede8f5d3563cbb5c36ae1e6b5bd9dafdd227313c"
julia_version = "1.12.0"
os = "macos"
[[z3.download]]
sha256 = "0d797cba817bcfbaeb70c624261a2ced961ce3072baf79c340ccb573b504572b"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-apple-darwin-julia_version+1.12.0.tar.gz"
[[z3]]
arch = "aarch64"
git-tree-sha1 = "64b64df55a8dc73cc94184ef71e8c31321ab673c"
julia_version = "1.7.0"
os = "macos"
[[z3.download]]
sha256 = "e5e329ede924fcc0689673a2aaadc01f98b332c7ea3ddc56b645268491590fe7"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-apple-darwin-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "aarch64"
git-tree-sha1 = "d021f7931d490447d16ffca59a1cbf1f706e2cfc"
julia_version = "1.8.2"
os = "macos"
[[z3.download]]
sha256 = "aa04c78e57d7a95e7b1b38631bbde443eb05c4af9dcc5d5efe1ce71a8f408f69"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-apple-darwin-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "aarch64"
git-tree-sha1 = "3576a84fc67506192c4c9e02f671c6ab94b5eaec"
julia_version = "1.9.0"
os = "macos"
[[z3.download]]
sha256 = "b8eb0f13503c56564a83b7feb5a034cbe4b8c64bdfc5b1ad81df4670e05fb615"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-apple-darwin-julia_version+1.9.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx03"
git-tree-sha1 = "f7f8afc093276aeb0046104362078b00446c5f53"
julia_version = "1.10.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "b6a7b7f02de031c37a2d2156d4a342f3b29da4115e2d05853a943d8bfdab03d1"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-gnu-cxx03-julia_version+1.10.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx03"
git-tree-sha1 = "b8d7d643b8866d6b5489202596a3f69d1e00de6c"
julia_version = "1.11.1"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "4119180ff908c5e4039d92e5f5a449024e68ad5c3d2815268d89e570a7095947"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-gnu-cxx03-julia_version+1.11.1.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx03"
git-tree-sha1 = "42dab991a1ddfdfc022d61723274f756d5679f2c"
julia_version = "1.12.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "2bd4e106ae8b9c97f8f7b0ab5f8558f930bac2346d5a8fcef4e712b449ef7a79"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-gnu-cxx03-julia_version+1.12.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx03"
git-tree-sha1 = "c23cd41a74dbe1590b4594c0dcdb33635d8a9d67"
julia_version = "1.6.3"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "7e517abcdbe0b1865e8cf6254fa0ef47bc91378627ed6af3f98fae9aa4bd069c"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-gnu-cxx03-julia_version+1.6.3.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx03"
git-tree-sha1 = "28a0795ac17e430ec38d20b9aba58e6c932f1ca9"
julia_version = "1.7.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "e06a749f2bddd74a1246e803e83b436d4fa2c4a4fab86cfdd093573894bb144c"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-gnu-cxx03-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx03"
git-tree-sha1 = "b52c0e3fc53bf0e4fcb9c23123975d2317d6024d"
julia_version = "1.8.2"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "a6faefe961d228e28bf973d9eff3cb2f0b35383606d5501cde8ba4474f3fc0d5"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-gnu-cxx03-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx03"
git-tree-sha1 = "2bea81cecf75c9b674d7cf215b0a17feb133d512"
julia_version = "1.9.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "7c26bc803fe9226dee405596cb299f25c3ab96b61b1bd2410b8e96e2b72377b5"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-gnu-cxx03-julia_version+1.9.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx11"
git-tree-sha1 = "5f86c9c6f9b95b81b712814fb1190320528e9b32"
julia_version = "1.10.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "4fa9ad49c09fc66dc773411653cc293487b1235807fe398a1bbdbc8c92ff69b4"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-gnu-cxx11-julia_version+1.10.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx11"
git-tree-sha1 = "e0a8ca8035144c516e7e069d337def47d2c68615"
julia_version = "1.11.1"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "173d72bac11f26fc9c54731a69f56968c202eedf052ec4f681193ac7dd1e6f89"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-gnu-cxx11-julia_version+1.11.1.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx11"
git-tree-sha1 = "910e5cfc035aacfe8d1fa22cf74a88a80a939a85"
julia_version = "1.12.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "7913bb21a9a7b2a1ae116fbe3193cce726cf68d48bb60edf2d7df5d5ef1f75d9"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-gnu-cxx11-julia_version+1.12.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx11"
git-tree-sha1 = "1b7432ebb21b8136017b713d7187f174550d2337"
julia_version = "1.6.3"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "8a4917a743aad052b274f70e836f34c5d0165fedc58e533535c42f540a5a17d8"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-gnu-cxx11-julia_version+1.6.3.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx11"
git-tree-sha1 = "87dc5291de5ffcf86306e3a78f77ce1776846625"
julia_version = "1.7.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "2a9a2747a8b6cbe9b933ba464191151785c2adbf14031948f25ee2a9134ec734"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-gnu-cxx11-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx11"
git-tree-sha1 = "a6193a35396afd02149a07e6449e8497bf0883f3"
julia_version = "1.8.2"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "825a16a4fbff9c889be2ba03cd83f1e99caba7ae6827ecb8b98a6bbe3062f131"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-gnu-cxx11-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx11"
git-tree-sha1 = "bd2bb391663f30f1622e5a8095d00c0045378119"
julia_version = "1.9.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "5fa6dc74ebcafe5965c873858c750ed1916f101c2a76337134c3f11affd1cb2c"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-gnu-cxx11-julia_version+1.9.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx03"
git-tree-sha1 = "a3a567cc782d0438a7e1d527e827650f4c9afa43"
julia_version = "1.10.0"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "f76b8d350b93cc14a17077e15bb08bab289bc1a8b4a3ed9b4ee8d18796b05bd8"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-musl-cxx03-julia_version+1.10.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx03"
git-tree-sha1 = "5cec685342b6c8dc0b647027726af26d4fb6fa2f"
julia_version = "1.11.1"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "adc21287c3e17739f097f7edb7bb10c2a26231b5994f5876016d955db18ee346"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-musl-cxx03-julia_version+1.11.1.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx03"
git-tree-sha1 = "9fadb1eefd3980653da3b7e4a765a3d760b59599"
julia_version = "1.12.0"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "798b73ae373e2231ef5c83ee4fbeb75ce74765c56a69d4bedceb77b4346e6943"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-musl-cxx03-julia_version+1.12.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx03"
git-tree-sha1 = "58274ebb34c697628d349cf0adc28da8ede2bdf4"
julia_version = "1.6.3"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "e9c2b769fdf261419fbff81570b7ed849281b934e62456d6328e4475ca93bfdd"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-musl-cxx03-julia_version+1.6.3.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx03"
git-tree-sha1 = "124048816f0ce05ca6f116963c9304cc67f9cc45"
julia_version = "1.7.0"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "dca08d611bdbae41e36a285061f2255d87db2ddc743eaebc79508503166e9e1b"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-musl-cxx03-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx03"
git-tree-sha1 = "c2b25c5b15b6a4bafea31a2a9cde886f7ee2518e"
julia_version = "1.8.2"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "9b8191caa478c63c5d5006a9f9131dd73cf03b0c17a7df1178f6316bf132ba73"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-musl-cxx03-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx03"
git-tree-sha1 = "a04df302bf272d605a843dd9c3aaee9fc43f73f1"
julia_version = "1.9.0"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "5c7126a56f1ef16829b49f5eb6c8c89a1bcb9166b8c9c8e350f0875683561f3f"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-musl-cxx03-julia_version+1.9.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx11"
git-tree-sha1 = "442126fe79576e2107ef401f6553daec434d676e"
julia_version = "1.10.0"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "9233acdfb9579a687593dd94e6c7632cf3a283d6baa7c17bef91bc2b3f08a078"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-musl-cxx11-julia_version+1.10.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx11"
git-tree-sha1 = "e7b9daf486219075f7b47e6587ec144892d51b40"
julia_version = "1.11.1"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "c4bb6ee26622b05c7257d2d4d7fb982cab13ad96bc2f4492ba6dbbdaea52df61"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-musl-cxx11-julia_version+1.11.1.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx11"
git-tree-sha1 = "aa071b8d37b8a72daee77e25d0a8f8b096ca44a5"
julia_version = "1.12.0"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "943abf11703d3953e88c6f9878ad911dd191468f87fa04de1e9c95f559008f96"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-musl-cxx11-julia_version+1.12.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx11"
git-tree-sha1 = "e1cef2184546cafaff3b9d00dbc27021f657fa8a"
julia_version = "1.6.3"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "efd0d938dd6119c0933f44ad4ae46499429c317d2cb7d9a89bf624efe3e52d26"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-musl-cxx11-julia_version+1.6.3.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx11"
git-tree-sha1 = "a3b46b18ec169a5956e81725b676373bf4d1af81"
julia_version = "1.7.0"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "6827cc1202e48d63696a13180ac7aef416abb57a7dfd1e54a1a2f2c6afbe72f9"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-musl-cxx11-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx11"
git-tree-sha1 = "9b2a1d974237f506bf924d2d245904ef1a66674b"
julia_version = "1.8.2"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "86da284ae682fcffe3f9c2a8bac4e7580a74a46f2e954069cb786948471b8dbc"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-musl-cxx11-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "aarch64"
cxxstring_abi = "cxx11"
git-tree-sha1 = "e17596b5a87f953049c80c23b150dad628312291"
julia_version = "1.9.0"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "ef760979d32fc529549767f9d88aebc66cc1f3fd9f0db404cde992b07d4401bb"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.aarch64-linux-musl-cxx11-julia_version+1.9.0.tar.gz"
[[z3]]
arch = "armv6l"
call_abi = "eabihf"
cxxstring_abi = "cxx03"
git-tree-sha1 = "8a7003148147d970c8c7b32fd603d0c2d21571d8"
julia_version = "1.7.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "e22252a9e591bd4ed77ac720e31480022bbf6f1c938f11b01b7d37772946268b"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv6l-linux-gnueabihf-cxx03-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "armv6l"
call_abi = "eabihf"
cxxstring_abi = "cxx03"
git-tree-sha1 = "54dd3e6d6634184054c9f13cb897fea3c0818095"
julia_version = "1.8.2"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "8d866403e2f2414de89b7d8a7099af12f4263fbc3a6ea904819fc92b0ac5ad83"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv6l-linux-gnueabihf-cxx03-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "armv6l"
call_abi = "eabihf"
cxxstring_abi = "cxx11"
git-tree-sha1 = "0e870d57438c506a9207ed9f661406537077a5b0"
julia_version = "1.7.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "db72f4add19f467b8e0f7fe89661ee592b11ee94fbfe3d9a4b55f974bc8d18cd"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv6l-linux-gnueabihf-cxx11-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "armv6l"
call_abi = "eabihf"
cxxstring_abi = "cxx11"
git-tree-sha1 = "4d48814d288d419b74fc3ecf54342465196421f0"
julia_version = "1.8.2"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "e7cb17cf155055334414fd375ab5fb4aefa8d08c290a5d0cd9cc58d2f5d98c4a"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv6l-linux-gnueabihf-cxx11-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "armv6l"
call_abi = "eabihf"
cxxstring_abi = "cxx03"
git-tree-sha1 = "2f667e63b3654425d6980d7eade0ecde8e43c6d6"
julia_version = "1.7.0"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "413f7d9457c79bb3853bfbaa8dde1da58fc0b7a22cfc6b3dbfed73fc561fcbdb"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv6l-linux-musleabihf-cxx03-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "armv6l"
call_abi = "eabihf"
cxxstring_abi = "cxx03"
git-tree-sha1 = "a9dad0b90220923ece1b7f11196415d98536e351"
julia_version = "1.8.2"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "03196cf803dce64e4c340d3f3cf1aa47aa509daa682ad340203911bbde9b1252"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv6l-linux-musleabihf-cxx03-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "armv6l"
call_abi = "eabihf"
cxxstring_abi = "cxx11"
git-tree-sha1 = "e5e6326bd6616c569e2c5e9eafc3d1198f9f5cfc"
julia_version = "1.7.0"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "d5167a129e8207eecca2061685c58224017e1cb0b6b33b8443e93d8ce46a9c82"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv6l-linux-musleabihf-cxx11-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "armv6l"
call_abi = "eabihf"
cxxstring_abi = "cxx11"
git-tree-sha1 = "7168dabb8746bdc1148f3432628a7a32cb1cfeae"
julia_version = "1.8.2"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "b46f75fc01274b64b49b19742b60fa118fec61885577ec263d1dfccea7222112"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv6l-linux-musleabihf-cxx11-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "armv7l"
call_abi = "eabihf"
cxxstring_abi = "cxx03"
git-tree-sha1 = "2c67dd509de58099750cead0b4b341fbd645fe72"
julia_version = "1.6.3"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "27e71205677ed80fc528076a119ccee61372c85217e77025a13284b7e239cf84"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv7l-linux-gnueabihf-cxx03-julia_version+1.6.3.tar.gz"
[[z3]]
arch = "armv7l"
call_abi = "eabihf"
cxxstring_abi = "cxx03"
git-tree-sha1 = "4f4c1b7ae0efd968db8648103f332a24d69fd435"
julia_version = "1.7.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "c7db9fe1bcc466c990bb263138910b022aa2085b9af1de31bfbf0cd44cbad1cf"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv7l-linux-gnueabihf-cxx03-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "armv7l"
call_abi = "eabihf"
cxxstring_abi = "cxx03"
git-tree-sha1 = "4b48ffd62c2e62339591adfb70507dd5287ec2b6"
julia_version = "1.8.2"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "6bd25f0b0d7c12bfb5e13a9ae8dfb47f0170d34781f6b3c924bc3b894244feb1"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv7l-linux-gnueabihf-cxx03-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "armv7l"
call_abi = "eabihf"
cxxstring_abi = "cxx11"
git-tree-sha1 = "3acb0199252616786706cbeb80c1f88b0337fe96"
julia_version = "1.6.3"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "7270bb10245da6a8cfd3c8e47cfb657e94daa2ec9b53a6baef6e47734ff5c957"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv7l-linux-gnueabihf-cxx11-julia_version+1.6.3.tar.gz"
[[z3]]
arch = "armv7l"
call_abi = "eabihf"
cxxstring_abi = "cxx11"
git-tree-sha1 = "d1a6ed729e68360030caf5ee32472e5bb479aa7a"
julia_version = "1.7.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "27fc9a4a701070473c0f8394e3d70d4a432b758d4c277f57578d5c5fd8ca9c3e"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv7l-linux-gnueabihf-cxx11-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "armv7l"
call_abi = "eabihf"
cxxstring_abi = "cxx11"
git-tree-sha1 = "8b9859fe599b34a9ad44fc36adc67a02855017db"
julia_version = "1.8.2"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "e23202f1c745323f69872504c3c19f2df477f3b6efa885f03b1077dfb55f06e6"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv7l-linux-gnueabihf-cxx11-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "armv7l"
call_abi = "eabihf"
cxxstring_abi = "cxx03"
git-tree-sha1 = "7df217d1389acea4e6715d395bae0a34741cbc23"
julia_version = "1.6.3"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "ce8beaa929c8fd8a080aee10b554ec333b9cdf9df499d3c9bc936ecd59479d82"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv7l-linux-musleabihf-cxx03-julia_version+1.6.3.tar.gz"
[[z3]]
arch = "armv7l"
call_abi = "eabihf"
cxxstring_abi = "cxx03"
git-tree-sha1 = "63bfe8c358bae0738fda5a5b2acf3327a3dbc4d1"
julia_version = "1.7.0"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "38fa831dbaace3aef2dc761cf384eb225465f54178bc94146a248cddb307d928"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv7l-linux-musleabihf-cxx03-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "armv7l"
call_abi = "eabihf"
cxxstring_abi = "cxx03"
git-tree-sha1 = "ceb7a4f1723fc1aa594f4924ed2c260d3c7cb633"
julia_version = "1.8.2"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "0e12515d588f3ca2e4bc4e686f3969a95f5e550592d129ca1a1b0fa01d62bedf"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv7l-linux-musleabihf-cxx03-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "armv7l"
call_abi = "eabihf"
cxxstring_abi = "cxx11"
git-tree-sha1 = "61a02b9113cfe5ce667f2ee55d3beed68f310a91"
julia_version = "1.6.3"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "ca6ec84620d9d6aeb0dcd2f71f56c4e5243c9ca1258a7df645600a059103d056"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv7l-linux-musleabihf-cxx11-julia_version+1.6.3.tar.gz"
[[z3]]
arch = "armv7l"
call_abi = "eabihf"
cxxstring_abi = "cxx11"
git-tree-sha1 = "7ccc621665ee5795858519cf0b99c918d9778b5b"
julia_version = "1.7.0"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "9cbba87f2e722d7a80ace9e8f7e1b161349df101b00a6934ff4d29c8c277b093"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv7l-linux-musleabihf-cxx11-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "armv7l"
call_abi = "eabihf"
cxxstring_abi = "cxx11"
git-tree-sha1 = "8110adbac7bd20e2d1955e794443cd17019a62b9"
julia_version = "1.8.2"
libc = "musl"
os = "linux"
[[z3.download]]
sha256 = "08d46ebd57a6d115259cde81e6854f16e86d221bfed6148296bd64c723d0e11f"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.armv7l-linux-musleabihf-cxx11-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx03"
git-tree-sha1 = "618687de078f248455a7d38462c0470abe5dba26"
julia_version = "1.10.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "60d99c0ec113dd2cd9e65812d0a875e62518680d8ed7d71df80a7888bad0a3d7"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-linux-gnu-cxx03-julia_version+1.10.0.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx03"
git-tree-sha1 = "71c808389c3740e2ef60cdb7755a7227c6088d5b"
julia_version = "1.11.1"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "85678befdd0894a649e47d406cb9031a2d0d338be7ecb518ab15cbf101b3ecb7"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-linux-gnu-cxx03-julia_version+1.11.1.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx03"
git-tree-sha1 = "bdfac30d7cf43b92fd13a4882480fda887dcbdd5"
julia_version = "1.12.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "ef58955caccaa66f69d0b5fba143c89cc0f8d1e19420ec445893a328d54a8155"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-linux-gnu-cxx03-julia_version+1.12.0.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx03"
git-tree-sha1 = "e73267c69882e79219aed295a7a3dbccd53a7e58"
julia_version = "1.6.3"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "d714aa6c2f28ef7eedc5eb9843ce7c91b4462a35e2987cf003a1e3ba5aad40fb"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-linux-gnu-cxx03-julia_version+1.6.3.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx03"
git-tree-sha1 = "68cbd2b1029107b06292dd0295ee284e861551ef"
julia_version = "1.7.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "d091950c84a56076dc17687a01d4346b4a7cfde62eb8c27c1b2e56545c0e292f"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-linux-gnu-cxx03-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx03"
git-tree-sha1 = "af7c8803ee9d9d9bbe0f9f5c8263269cffbac775"
julia_version = "1.8.2"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "e3e56daae1e1af2bbf7b112cb12a18fad17235ce12a545b800d65837dbfff9f3"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-linux-gnu-cxx03-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx03"
git-tree-sha1 = "573ce8822a11382ce016db118c5c6412b39daecb"
julia_version = "1.9.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "9d13af11f5dd6a239b5be612072a3974d032ea427be2f9e31fd1a4092959126a"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-linux-gnu-cxx03-julia_version+1.9.0.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx11"
git-tree-sha1 = "7410bd03a7eb77b0d4ca877c33ef320e66e34621"
julia_version = "1.10.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "063b007212027da2eec6fc0b21e70e8eea23f160d7e7b42511cb5308b09270b2"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-linux-gnu-cxx11-julia_version+1.10.0.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx11"
git-tree-sha1 = "2116476751ee9a5e7bd6cb12489e7e5a9cec5a52"
julia_version = "1.11.1"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "7553b19358110cf96e753591a19d60d74e5185b29c83eec875984d6a41c062c9"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-linux-gnu-cxx11-julia_version+1.11.1.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx11"
git-tree-sha1 = "9e2fcf8611a21d89305ecdc3558f9bd49dae63f0"
julia_version = "1.12.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "f8ea6207ecd27bbb06a8522a3a9a7be196c102932bb78bd707e2c5c224c01edd"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-linux-gnu-cxx11-julia_version+1.12.0.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx11"
git-tree-sha1 = "f745fd5c484098cb668bb9228e843b3c09bd5a2c"
julia_version = "1.6.3"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "b40274c5d25505daf86315a29f0de336c83f2c39a0176c7fc766e1d8900526b2"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-linux-gnu-cxx11-julia_version+1.6.3.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx11"
git-tree-sha1 = "84cc1e179b28284e612a210f3cc53fa92c7fc5cb"
julia_version = "1.7.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "bc0d2555a65469886152427f908399aa6b0c4e3f41c771a9b6739dcb8d3a22e6"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-linux-gnu-cxx11-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx11"
git-tree-sha1 = "9f1180d21ba0ac08c0f3b89e6a37d4ce17f52967"
julia_version = "1.8.2"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "ae9ca63713503aad81d7396c301d3ef7b0d00c9c68f51ea24281c40180b3f4d1"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-linux-gnu-cxx11-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx11"
git-tree-sha1 = "86b67abf848c3d2e744248c75c58c59ab20bf1da"
julia_version = "1.9.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "b10bffe777d479d3e249a224086835b05ac6dbee6a6209f8a88934b6410fc5c5"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-linux-gnu-cxx11-julia_version+1.9.0.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx03"
git-tree-sha1 = "44a9bc5ee055d782a94e500adf1ee9184beecf77"
julia_version = "1.10.0"
os = "windows"
[[z3.download]]
sha256 = "5b73195f405552dff00ac461e2c54fd73b74774d6ea5a358405978853ee10560"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-w64-mingw32-cxx03-julia_version+1.10.0.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx03"
git-tree-sha1 = "4222f9a1b6c1dae86770e35c495a443246a1bdc4"
julia_version = "1.11.1"
os = "windows"
[[z3.download]]
sha256 = "f966ac2fb937350429e300bea4a3c3cf07e195638ffbe06cce9819b93a0a2e85"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-w64-mingw32-cxx03-julia_version+1.11.1.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx03"
git-tree-sha1 = "86bbebf9e4f10895192ed43dad1a95bb212edcb5"
julia_version = "1.12.0"
os = "windows"
[[z3.download]]
sha256 = "36db8fe906bf1bd4d400c1d1e4d15e396723602c28a0bf26b2b1dc41e15800c9"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-w64-mingw32-cxx03-julia_version+1.12.0.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx03"
git-tree-sha1 = "9e1dc78301656f6531fabdfd04529da2628e90fa"
julia_version = "1.6.3"
os = "windows"
[[z3.download]]
sha256 = "01281687a3c864c7b8ce9225b86f9bc3ced189f6d41481d52d5b4aec2f647598"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-w64-mingw32-cxx03-julia_version+1.6.3.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx03"
git-tree-sha1 = "9fcb36b2792ba3dba0f1f7870c2bc7f8150c7e42"
julia_version = "1.7.0"
os = "windows"
[[z3.download]]
sha256 = "eebc8fa5dd7c0385da0d65f082a23fc30c961470e79a2506239b5a78405eb4ac"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-w64-mingw32-cxx03-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx03"
git-tree-sha1 = "3ea26894530e86550fe8862acc17e2adb20ddb25"
julia_version = "1.8.2"
os = "windows"
[[z3.download]]
sha256 = "086f85c61c930a07b1d16de1b8c518f81aae21242c2839a8e3be8ca62ddd04c8"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-w64-mingw32-cxx03-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx03"
git-tree-sha1 = "46ef7f0672ba1503286156f94b9ee2ac8d8ee1ab"
julia_version = "1.9.0"
os = "windows"
[[z3.download]]
sha256 = "93ec57c449b3509692124a1e943b5173441d35670ebb461813e6abe5cfbf3ae2"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-w64-mingw32-cxx03-julia_version+1.9.0.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx11"
git-tree-sha1 = "2ce945197397e8568992e4355ae0113962326246"
julia_version = "1.10.0"
os = "windows"
[[z3.download]]
sha256 = "2fc557479c11f01ac6134d965b2d74f55e849f014e0862e360fab51d7cb4b364"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-w64-mingw32-cxx11-julia_version+1.10.0.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx11"
git-tree-sha1 = "d9cb61bcc601f0c371851b1de97c2a42966c7dc2"
julia_version = "1.11.1"
os = "windows"
[[z3.download]]
sha256 = "b10d79b6b641b6d92f731cf2f73e071233db441c2fcdfcafcb20b66fabaddc17"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-w64-mingw32-cxx11-julia_version+1.11.1.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx11"
git-tree-sha1 = "49d49a8de9c128110a0ccd38465c5aaf40d2f9a9"
julia_version = "1.12.0"
os = "windows"
[[z3.download]]
sha256 = "e7409fe65dd6f8e79bd87fe8c4ea4a433391d62bc06e3dbd9d91edebd9e1a7d0"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-w64-mingw32-cxx11-julia_version+1.12.0.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx11"
git-tree-sha1 = "4118db816a62028772e14a4b82817c7f5f1e1233"
julia_version = "1.6.3"
os = "windows"
[[z3.download]]
sha256 = "f29522b15ddb69385314e2e7a65041f563ce542f236b074553ef5d58d2a86b1f"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-w64-mingw32-cxx11-julia_version+1.6.3.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx11"
git-tree-sha1 = "5ca00da369a44ae9d346d24d5a2e9fd4f825df2e"
julia_version = "1.7.0"
os = "windows"
[[z3.download]]
sha256 = "08e27a667d7ba02e4effa69db751a0abf1c06e6a6971cb6a6f1efa060023dad5"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-w64-mingw32-cxx11-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx11"
git-tree-sha1 = "056947b732474a4d3812f37a023dfeefc540d02d"
julia_version = "1.8.2"
os = "windows"
[[z3.download]]
sha256 = "45b3d0021971aeb9d8ebc1930c87f04a4c5e514307c6a69271e06d05a018aa9c"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-w64-mingw32-cxx11-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "i686"
cxxstring_abi = "cxx11"
git-tree-sha1 = "24806a1a3193f90e8798cbbd607609f59faf917e"
julia_version = "1.9.0"
os = "windows"
[[z3.download]]
sha256 = "34ea097299f210bf68a3ca80500f8439cb8cfdece2c5fc207711650d12531e98"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.i686-w64-mingw32-cxx11-julia_version+1.9.0.tar.gz"
[[z3]]
arch = "powerpc64le"
cxxstring_abi = "cxx03"
git-tree-sha1 = "28fe91691ed9256d892149b81602d939c519ea04"
julia_version = "1.10.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "7ee7a3fe079013f568a94cd3f04d49df812c2ed7e5321ae2082b681b0953dea2"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.powerpc64le-linux-gnu-cxx03-julia_version+1.10.0.tar.gz"
[[z3]]
arch = "powerpc64le"
cxxstring_abi = "cxx03"
git-tree-sha1 = "5bbc735997e60822e9ef129b1e753dd6f7a8f652"
julia_version = "1.11.1"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "f1e16c972b186155d9c6883ecbf5d2dfb2af3e244bec77373278e2bb7b7646c6"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.powerpc64le-linux-gnu-cxx03-julia_version+1.11.1.tar.gz"
[[z3]]
arch = "powerpc64le"
cxxstring_abi = "cxx03"
git-tree-sha1 = "13a73b54d0bec4cccbfbeb74423f428e4503ba03"
julia_version = "1.12.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "22435a22ebfebbfc6562dbd1e6d19dd6baa84e35f9415036e99dca59c773cad6"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.powerpc64le-linux-gnu-cxx03-julia_version+1.12.0.tar.gz"
[[z3]]
arch = "powerpc64le"
cxxstring_abi = "cxx03"
git-tree-sha1 = "2dbf325eeaa4f62adebf3b95e24818191745e1a6"
julia_version = "1.6.3"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "cad1b3e6c814d020cb6e6ce1ed8a4491198093fa84807173c7bff781f4a1fc34"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.powerpc64le-linux-gnu-cxx03-julia_version+1.6.3.tar.gz"
[[z3]]
arch = "powerpc64le"
cxxstring_abi = "cxx03"
git-tree-sha1 = "61f8bb996cd28cd771690fa4674e3aa5dd9e8050"
julia_version = "1.7.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "737d3b1028bcfc6009079c0d40d6413e2889ba682c5828314639b805b6c45378"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.powerpc64le-linux-gnu-cxx03-julia_version+1.7.0.tar.gz"
[[z3]]
arch = "powerpc64le"
cxxstring_abi = "cxx03"
git-tree-sha1 = "d046175b55e7f38a38899d3ba869682b8017d48c"
julia_version = "1.8.2"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "638bd745f5e2f4be33ac6dbd737178a88f1f005dd28c8343cc4f7e82bb76a9ac"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.powerpc64le-linux-gnu-cxx03-julia_version+1.8.2.tar.gz"
[[z3]]
arch = "powerpc64le"
cxxstring_abi = "cxx03"
git-tree-sha1 = "5ca3dce63e8e08ce7b2279dba3efcc7f2f65718a"
julia_version = "1.9.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "dbde3dc21f1104a53965b13a140a24ee48096921bca4eb14fcf6084180e272d5"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.powerpc64le-linux-gnu-cxx03-julia_version+1.9.0.tar.gz"
[[z3]]
arch = "powerpc64le"
cxxstring_abi = "cxx11"
git-tree-sha1 = "77f85fdf110b1dd3f65894e74de9ee60040d3388"
julia_version = "1.10.0"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "86b28962a3e41edd4b4b8dc93331bef67c8b8ce0a8ab6d02474c045fbf59b7ce"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.powerpc64le-linux-gnu-cxx11-julia_version+1.10.0.tar.gz"
[[z3]]
arch = "powerpc64le"
cxxstring_abi = "cxx11"
git-tree-sha1 = "96c510d5f86bdeaa066d3057730b44e13a7d9e88"
julia_version = "1.11.1"
libc = "glibc"
os = "linux"
[[z3.download]]
sha256 = "a1da98638f9d6ee956a7c562ddad62afe951cca7c00e89e75dc5b70e7e02c37a"
url = "https://github.com/JuliaBinaryWrappers/z3_jll.jl/releases/download/z3-v4.13.4+0/z3.v4.13.4.powerpc64le-linux-gnu-cxx11-julia_version+1.11.1.tar.gz"
[[z3]]
arch = "powerpc64le"
cxxstring_abi = "cxx11"
git-tree-sha1 = "fc39812ca833d3c8a948fbfb72d0f11bfe90aed7"
julia_version = "1.12.0"