|
1 | 1 | # This file is machine-generated - editing it directly is not advised
|
2 | 2 |
|
3 |
| -[[AbstractAlgebra]] |
4 |
| -deps = ["InteractiveUtils", "LinearAlgebra", "Markdown", "Random", "RandomExtensions", "SparseArrays", "Test"] |
5 |
| -git-tree-sha1 = "11f56bb196abe983e0fe5c238c3a75d8a3c94f2a" |
| 3 | +julia_version = "1.8.3" |
| 4 | +manifest_format = "2.0" |
| 5 | +project_hash = "6c23ceb5cdf3867e2403b7204cff44b5f2ba776c" |
| 6 | + |
| 7 | +[[deps.AbstractAlgebra]] |
| 8 | +deps = ["GroupsCore", "InteractiveUtils", "LinearAlgebra", "MacroTools", "Markdown", "Random", "RandomExtensions", "SparseArrays", "Test"] |
| 9 | +git-tree-sha1 = "7772df04fda9bc25a44c9ef61e9dc7c92bb35d86" |
6 | 10 | uuid = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
|
7 |
| -version = "0.21.0" |
| 11 | +version = "0.27.7" |
8 | 12 |
|
9 |
| -[[Antic_jll]] |
| 13 | +[[deps.Antic_jll]] |
10 | 14 | deps = ["Artifacts", "FLINT_jll", "GMP_jll", "JLLWrappers", "Libdl", "MPFR_jll", "Pkg"]
|
11 |
| -git-tree-sha1 = "0b859770975d52aaf54309e75232acd43265535f" |
| 15 | +git-tree-sha1 = "4b354e5ef3d0a235515bd1b27af9cee3fa1de62c" |
12 | 16 | uuid = "e21ec000-9f72-519e-ba6d-10061e575a27"
|
13 |
| -version = "0.200.500+0" |
| 17 | +version = "0.201.500+0" |
14 | 18 |
|
15 |
| -[[Arb_jll]] |
| 19 | +[[deps.Arb_jll]] |
16 | 20 | deps = ["Artifacts", "FLINT_jll", "GMP_jll", "JLLWrappers", "Libdl", "MPFR_jll", "Pkg"]
|
17 |
| -git-tree-sha1 = "9b6e16d49e968d7bf1f9c42cdbde4a99bae5025a" |
| 21 | +git-tree-sha1 = "a564158702b6a4d1fb53c3fa399e891d7599afa0" |
18 | 22 | uuid = "d9960996-1013-53c9-9ba4-74a4155039c3"
|
19 |
| -version = "200.2000.0+0" |
| 23 | +version = "200.2300.0+0" |
20 | 24 |
|
21 |
| -[[ArgTools]] |
| 25 | +[[deps.ArgTools]] |
22 | 26 | uuid = "0dad84c5-d112-42e6-8d28-ef12dabb789f"
|
| 27 | +version = "1.1.1" |
23 | 28 |
|
24 |
| -[[Artifacts]] |
| 29 | +[[deps.Artifacts]] |
25 | 30 | uuid = "56f22d72-fd6d-98f1-02f0-08ddc0907c33"
|
26 | 31 |
|
27 |
| -[[Base64]] |
| 32 | +[[deps.Base64]] |
28 | 33 | uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"
|
29 | 34 |
|
30 |
| -[[BinaryProvider]] |
31 |
| -deps = ["Libdl", "Logging", "SHA"] |
32 |
| -git-tree-sha1 = "ecdec412a9abc8db54c0efc5548c64dfce072058" |
33 |
| -uuid = "b99e7846-7c00-51b0-8f62-c81ae34c0232" |
34 |
| -version = "0.5.10" |
35 |
| - |
36 |
| -[[Calcium_jll]] |
| 35 | +[[deps.Calcium_jll]] |
37 | 36 | deps = ["Antic_jll", "Arb_jll", "Artifacts", "FLINT_jll", "GMP_jll", "JLLWrappers", "Libdl", "MPFR_jll", "Pkg"]
|
38 |
| -git-tree-sha1 = "d0c304bc221b916bc54716367402a0cc66d13e14" |
| 37 | +git-tree-sha1 = "37fd335ecca9bd6ab25a2a4d26b7b2f6fe64c246" |
39 | 38 | uuid = "fcfa6d1b-d8ce-59d5-8c0a-c0d7f69e4f40"
|
40 |
| -version = "0.400.100+0" |
| 39 | +version = "0.401.100+0" |
41 | 40 |
|
42 |
| -[[Ccluster_jll]] |
| 41 | +[[deps.Ccluster_jll]] |
43 | 42 | deps = ["Arb_jll", "Artifacts", "FLINT_jll", "GMP_jll", "JLLWrappers", "Libdl", "MPFR_jll", "Pkg"]
|
44 | 43 | git-tree-sha1 = "b22e78188d77634d672399bc52012ccec139204b"
|
45 | 44 | uuid = "2795595f-8cd6-5168-9a44-49c628ee0ce1"
|
46 | 45 | version = "1.1.7+0"
|
47 | 46 |
|
48 |
| -[[Dates]] |
| 47 | +[[deps.CompilerSupportLibraries_jll]] |
| 48 | +deps = ["Artifacts", "Libdl"] |
| 49 | +uuid = "e66e0078-7015-5450-92f7-15fbd957f2ae" |
| 50 | +version = "0.5.2+0" |
| 51 | + |
| 52 | +[[deps.Dates]] |
49 | 53 | deps = ["Printf"]
|
50 | 54 | uuid = "ade2ca70-3891-5945-98fb-dc099432e06a"
|
51 | 55 |
|
52 |
| -[[Downloads]] |
53 |
| -deps = ["ArgTools", "LibCURL", "NetworkOptions"] |
| 56 | +[[deps.Downloads]] |
| 57 | +deps = ["ArgTools", "FileWatching", "LibCURL", "NetworkOptions"] |
54 | 58 | uuid = "f43a241f-c20a-4ad4-852c-f6b1247861c6"
|
| 59 | +version = "1.6.0" |
55 | 60 |
|
56 |
| -[[FLINT_jll]] |
57 |
| -deps = ["Artifacts", "GMP_jll", "JLLWrappers", "Libdl", "MPFR_jll", "Pkg"] |
58 |
| -git-tree-sha1 = "9d9471a849fc56747297984347f2cec803651fbb" |
| 61 | +[[deps.FLINT_jll]] |
| 62 | +deps = ["Artifacts", "GMP_jll", "JLLWrappers", "Libdl", "MPFR_jll", "OpenBLAS32_jll", "Pkg"] |
| 63 | +git-tree-sha1 = "34e110fb9bdaf16164ef8541d3d219554d796b01" |
59 | 64 | uuid = "e134572f-a0d5-539d-bddf-3cad8db41a82"
|
60 |
| -version = "200.800.0+1" |
| 65 | +version = "200.900.1+0" |
| 66 | + |
| 67 | +[[deps.FileWatching]] |
| 68 | +uuid = "7b1f6079-737a-58dc-b8bc-7a2ca5c1b5ee" |
61 | 69 |
|
62 |
| -[[GMP_jll]] |
| 70 | +[[deps.GMP_jll]] |
63 | 71 | deps = ["Artifacts", "Libdl"]
|
64 | 72 | uuid = "781609d7-10c4-51f6-84f2-b8444358ff6d"
|
| 73 | +version = "6.2.1+2" |
65 | 74 |
|
66 |
| -[[InteractiveUtils]] |
| 75 | +[[deps.GroupsCore]] |
| 76 | +deps = ["Markdown", "Random"] |
| 77 | +git-tree-sha1 = "9e1a5e9f3b81ad6a5c613d181664a0efc6fe6dd7" |
| 78 | +uuid = "d5909c97-4eac-4ecc-a3dc-fdd0858a4120" |
| 79 | +version = "0.4.0" |
| 80 | + |
| 81 | +[[deps.InteractiveUtils]] |
67 | 82 | deps = ["Markdown"]
|
68 | 83 | uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
|
69 | 84 |
|
70 |
| -[[JLLWrappers]] |
| 85 | +[[deps.JLLWrappers]] |
71 | 86 | deps = ["Preferences"]
|
72 |
| -git-tree-sha1 = "642a199af8b68253517b80bd3bfd17eb4e84df6e" |
| 87 | +git-tree-sha1 = "abc9885a7ca2052a736a600f7fa66209f96506e1" |
73 | 88 | uuid = "692b3bcd-3c85-4b1f-b108-f13ce0eb3210"
|
74 |
| -version = "1.3.0" |
| 89 | +version = "1.4.1" |
75 | 90 |
|
76 |
| -[[LibCURL]] |
| 91 | +[[deps.LibCURL]] |
77 | 92 | deps = ["LibCURL_jll", "MozillaCACerts_jll"]
|
78 | 93 | uuid = "b27032c2-a3e7-50c8-80cd-2d36dbcbfd21"
|
| 94 | +version = "0.6.3" |
79 | 95 |
|
80 |
| -[[LibCURL_jll]] |
| 96 | +[[deps.LibCURL_jll]] |
81 | 97 | deps = ["Artifacts", "LibSSH2_jll", "Libdl", "MbedTLS_jll", "Zlib_jll", "nghttp2_jll"]
|
82 | 98 | uuid = "deac9b47-8bc7-5906-a0fe-35ac56dc84c0"
|
| 99 | +version = "7.84.0+0" |
83 | 100 |
|
84 |
| -[[LibGit2]] |
| 101 | +[[deps.LibGit2]] |
85 | 102 | deps = ["Base64", "NetworkOptions", "Printf", "SHA"]
|
86 | 103 | uuid = "76f85450-5226-5b5a-8eaa-529ad045b433"
|
87 | 104 |
|
88 |
| -[[LibSSH2_jll]] |
| 105 | +[[deps.LibSSH2_jll]] |
89 | 106 | deps = ["Artifacts", "Libdl", "MbedTLS_jll"]
|
90 | 107 | uuid = "29816b5a-b9ab-546f-933c-edad1886dfa8"
|
| 108 | +version = "1.10.2+0" |
91 | 109 |
|
92 |
| -[[Libdl]] |
| 110 | +[[deps.Libdl]] |
93 | 111 | uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb"
|
94 | 112 |
|
95 |
| -[[LinearAlgebra]] |
96 |
| -deps = ["Libdl"] |
| 113 | +[[deps.LinearAlgebra]] |
| 114 | +deps = ["Libdl", "libblastrampoline_jll"] |
97 | 115 | uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
|
98 | 116 |
|
99 |
| -[[LoadFlint]] |
100 |
| -deps = ["BinaryProvider", "FLINT_jll", "GMP_jll", "Libdl", "MPFR_jll", "Pkg"] |
101 |
| -git-tree-sha1 = "3ad37ed3a8fcb45455473618f1c8ea378aaaf57f" |
102 |
| -uuid = "472f376f-f1cf-461b-9ac1-d103423be9b7" |
103 |
| -version = "0.6.1" |
104 |
| - |
105 |
| -[[Logging]] |
| 117 | +[[deps.Logging]] |
106 | 118 | uuid = "56ddb016-857b-54e1-b83d-db4d58db5568"
|
107 | 119 |
|
108 |
| -[[MPFR_jll]] |
| 120 | +[[deps.MPFR_jll]] |
109 | 121 | deps = ["Artifacts", "GMP_jll", "Libdl"]
|
110 | 122 | uuid = "3a97d323-0669-5f0c-9066-3539efd106a3"
|
| 123 | +version = "4.1.1+1" |
| 124 | + |
| 125 | +[[deps.MacroTools]] |
| 126 | +deps = ["Markdown", "Random"] |
| 127 | +git-tree-sha1 = "42324d08725e200c23d4dfb549e0d5d89dede2d2" |
| 128 | +uuid = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09" |
| 129 | +version = "0.5.10" |
111 | 130 |
|
112 |
| -[[Markdown]] |
| 131 | +[[deps.Markdown]] |
113 | 132 | deps = ["Base64"]
|
114 | 133 | uuid = "d6f4376e-aef5-505a-96c1-9c027394607a"
|
115 | 134 |
|
116 |
| -[[MbedTLS_jll]] |
| 135 | +[[deps.MbedTLS_jll]] |
117 | 136 | deps = ["Artifacts", "Libdl"]
|
118 | 137 | uuid = "c8ffd9c3-330d-5841-b78e-0817d7145fa1"
|
| 138 | +version = "2.28.0+0" |
119 | 139 |
|
120 |
| -[[MozillaCACerts_jll]] |
| 140 | +[[deps.MozillaCACerts_jll]] |
121 | 141 | uuid = "14a3606d-f60d-562e-9121-12d972cd8159"
|
| 142 | +version = "2022.2.1" |
122 | 143 |
|
123 |
| -[[Nemo]] |
124 |
| -deps = ["AbstractAlgebra", "Antic_jll", "Arb_jll", "BinaryProvider", "Calcium_jll", "FLINT_jll", "InteractiveUtils", "Libdl", "LinearAlgebra", "LoadFlint", "Markdown", "Pkg", "Random", "RandomExtensions", "SHA", "Test"] |
125 |
| -git-tree-sha1 = "abc86e808aea941c8581831a5515d551db9a85cd" |
| 144 | +[[deps.Nemo]] |
| 145 | +deps = ["AbstractAlgebra", "Antic_jll", "Arb_jll", "Calcium_jll", "FLINT_jll", "InteractiveUtils", "Libdl", "LinearAlgebra", "Markdown", "Pkg", "Random", "RandomExtensions", "SHA", "Test"] |
| 146 | +git-tree-sha1 = "4befc1ccf452c4f00e97308287578c5f394aa059" |
126 | 147 | uuid = "2edaba10-b0f1-5616-af89-8c11ac63239a"
|
127 |
| -version = "0.26.1" |
| 148 | +version = "0.32.5" |
128 | 149 |
|
129 |
| -[[NetworkOptions]] |
| 150 | +[[deps.NetworkOptions]] |
130 | 151 | uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908"
|
| 152 | +version = "1.2.0" |
131 | 153 |
|
132 |
| -[[Pkg]] |
| 154 | +[[deps.OpenBLAS32_jll]] |
| 155 | +deps = ["Artifacts", "CompilerSupportLibraries_jll", "JLLWrappers", "Libdl", "Pkg"] |
| 156 | +git-tree-sha1 = "9c6c2ed4b7acd2137b878eb96c68e63b76199d0f" |
| 157 | +uuid = "656ef2d0-ae68-5445-9ca0-591084a874a2" |
| 158 | +version = "0.3.17+0" |
| 159 | + |
| 160 | +[[deps.OpenBLAS_jll]] |
| 161 | +deps = ["Artifacts", "CompilerSupportLibraries_jll", "Libdl"] |
| 162 | +uuid = "4536629a-c528-5b80-bd46-f80d51c5b363" |
| 163 | +version = "0.3.20+0" |
| 164 | + |
| 165 | +[[deps.Pkg]] |
133 | 166 | deps = ["Artifacts", "Dates", "Downloads", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "REPL", "Random", "SHA", "Serialization", "TOML", "Tar", "UUIDs", "p7zip_jll"]
|
134 | 167 | uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
|
| 168 | +version = "1.8.0" |
135 | 169 |
|
136 |
| -[[Preferences]] |
| 170 | +[[deps.Preferences]] |
137 | 171 | deps = ["TOML"]
|
138 |
| -git-tree-sha1 = "00cfd92944ca9c760982747e9a1d0d5d86ab1e5a" |
| 172 | +git-tree-sha1 = "47e5f437cc0e7ef2ce8406ce1e7e24d44915f88d" |
139 | 173 | uuid = "21216c6a-2e73-6563-6e65-726566657250"
|
140 |
| -version = "1.2.2" |
| 174 | +version = "1.3.0" |
141 | 175 |
|
142 |
| -[[Printf]] |
| 176 | +[[deps.Printf]] |
143 | 177 | deps = ["Unicode"]
|
144 | 178 | uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7"
|
145 | 179 |
|
146 |
| -[[REPL]] |
| 180 | +[[deps.REPL]] |
147 | 181 | deps = ["InteractiveUtils", "Markdown", "Sockets", "Unicode"]
|
148 | 182 | uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb"
|
149 | 183 |
|
150 |
| -[[Random]] |
151 |
| -deps = ["Serialization"] |
| 184 | +[[deps.Random]] |
| 185 | +deps = ["SHA", "Serialization"] |
152 | 186 | uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
|
153 | 187 |
|
154 |
| -[[RandomExtensions]] |
| 188 | +[[deps.RandomExtensions]] |
155 | 189 | deps = ["Random", "SparseArrays"]
|
156 | 190 | git-tree-sha1 = "062986376ce6d394b23d5d90f01d81426113a3c9"
|
157 | 191 | uuid = "fb686558-2515-59ef-acaa-46db3789a887"
|
158 | 192 | version = "0.4.3"
|
159 | 193 |
|
160 |
| -[[SHA]] |
| 194 | +[[deps.SHA]] |
161 | 195 | uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce"
|
| 196 | +version = "0.7.0" |
162 | 197 |
|
163 |
| -[[Serialization]] |
| 198 | +[[deps.Serialization]] |
164 | 199 | uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b"
|
165 | 200 |
|
166 |
| -[[Sockets]] |
| 201 | +[[deps.Sockets]] |
167 | 202 | uuid = "6462fe0b-24de-5631-8697-dd941f90decc"
|
168 | 203 |
|
169 |
| -[[SparseArrays]] |
| 204 | +[[deps.SparseArrays]] |
170 | 205 | deps = ["LinearAlgebra", "Random"]
|
171 | 206 | uuid = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
|
172 | 207 |
|
173 |
| -[[TOML]] |
| 208 | +[[deps.TOML]] |
174 | 209 | deps = ["Dates"]
|
175 | 210 | uuid = "fa267f1f-6049-4f14-aa54-33bafae1ed76"
|
| 211 | +version = "1.0.0" |
176 | 212 |
|
177 |
| -[[Tar]] |
| 213 | +[[deps.Tar]] |
178 | 214 | deps = ["ArgTools", "SHA"]
|
179 | 215 | uuid = "a4e569a6-e804-4fa4-b0f3-eef7a1d5b13e"
|
| 216 | +version = "1.10.1" |
180 | 217 |
|
181 |
| -[[Test]] |
| 218 | +[[deps.Test]] |
182 | 219 | deps = ["InteractiveUtils", "Logging", "Random", "Serialization"]
|
183 | 220 | uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
|
184 | 221 |
|
185 |
| -[[UUIDs]] |
| 222 | +[[deps.UUIDs]] |
186 | 223 | deps = ["Random", "SHA"]
|
187 | 224 | uuid = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"
|
188 | 225 |
|
189 |
| -[[Unicode]] |
| 226 | +[[deps.Unicode]] |
190 | 227 | uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5"
|
191 | 228 |
|
192 |
| -[[Zlib_jll]] |
| 229 | +[[deps.Zlib_jll]] |
193 | 230 | deps = ["Libdl"]
|
194 | 231 | uuid = "83775a58-1f1d-513f-b197-d71354ab007a"
|
| 232 | +version = "1.2.12+3" |
| 233 | + |
| 234 | +[[deps.libblastrampoline_jll]] |
| 235 | +deps = ["Artifacts", "Libdl", "OpenBLAS_jll"] |
| 236 | +uuid = "8e850b90-86db-534c-a0d3-1478176c7d93" |
| 237 | +version = "5.1.1+0" |
195 | 238 |
|
196 |
| -[[nghttp2_jll]] |
| 239 | +[[deps.nghttp2_jll]] |
197 | 240 | deps = ["Artifacts", "Libdl"]
|
198 | 241 | uuid = "8e850ede-7688-5339-a07c-302acd2aaf8d"
|
| 242 | +version = "1.48.0+0" |
199 | 243 |
|
200 |
| -[[p7zip_jll]] |
| 244 | +[[deps.p7zip_jll]] |
201 | 245 | deps = ["Artifacts", "Libdl"]
|
202 | 246 | uuid = "3f19e933-33d8-53b3-aaab-bd5110c3b7a0"
|
| 247 | +version = "17.4.0+0" |
0 commit comments