Dafny 3.8.1.40901-nightly-2022-09-14-4d5c6e8

.NET 6.0 This package targets .NET 6.0. The package is compatible with this framework or higher.
This is a prerelease version of Dafny.
There is a newer version of this package available.
See the version list below for details. 
dotnet tool install --global Dafny --version 3.8.1.40901-nightly-2022-09-14-4d5c6e8
This package contains a .NET tool you can call from the shell/command line. 
dotnet new tool-manifest # if you are setting up this repo
dotnet tool install --local Dafny --version 3.8.1.40901-nightly-2022-09-14-4d5c6e8
This package contains a .NET tool you can call from the shell/command line. 
#tool dotnet:?package=Dafny&version=3.8.1.40901-nightly-2022-09-14-4d5c6e8&prerelease
nuke :add-package Dafny --version 3.8.1.40901-nightly-2022-09-14-4d5c6e8

Package Description

Product Compatible and additional computed target framework versions.
.NET net6.0 is compatible.  net6.0-android was computed.  net6.0-ios was computed.  net6.0-maccatalyst was computed.  net6.0-macos was computed.  net6.0-tvos was computed.  net6.0-windows was computed.  net7.0 was computed.  net7.0-android was computed.  net7.0-ios was computed.  net7.0-maccatalyst was computed.  net7.0-macos was computed.  net7.0-tvos was computed.  net7.0-windows was computed.  net8.0 was computed.  net8.0-android was computed.  net8.0-browser was computed.  net8.0-ios was computed.  net8.0-maccatalyst was computed.  net8.0-macos was computed.  net8.0-tvos was computed.  net8.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

This package has no dependencies.

Version Downloads Last updated
4.6.0 203 3/28/2024
4.6.0-nightly-2024-05-29-b5... 46 5/29/2024
4.6.0-nightly-2024-05-28-dc... 44 5/28/2024
4.6.0-nightly-2024-05-24-6b... 67 5/24/2024
4.6.0-nightly-2024-05-23-41... 65 5/24/2024
4.6.0-nightly-2024-05-22-41... 46 5/23/2024
4.6.0-nightly-2024-05-21-33... 69 5/21/2024
4.6.0-nightly-2024-05-20-7e... 68 5/20/2024
4.6.0-nightly-2024-05-18-2f... 55 5/18/2024
4.6.0-nightly-2024-05-17-80... 69 5/17/2024
4.6.0-nightly-2024-05-16-8d... 70 5/16/2024
4.6.0-nightly-2024-05-15-af... 64 5/15/2024
4.6.0-nightly-2024-05-14-8d... 58 5/14/2024
4.6.0-nightly-2024-05-13-70... 68 5/13/2024
4.6.0-nightly-2024-05-12-70... 55 5/12/2024
4.6.0-nightly-2024-05-11-70... 52 5/11/2024
4.6.0-nightly-2024-05-10-cc... 67 5/10/2024
4.6.0-nightly-2024-05-09-84... 66 5/9/2024
4.6.0-nightly-2024-05-08-1c... 69 5/8/2024
4.6.0-nightly-2024-05-07-55... 75 5/7/2024
4.6.0-nightly-2024-05-06-55... 79 5/6/2024
4.6.0-nightly-2024-05-05-55... 83 5/5/2024
4.6.0-nightly-2024-05-04-55... 86 5/4/2024
4.6.0-nightly-2024-05-03-55... 41 5/3/2024
4.6.0-nightly-2024-05-02-07... 33 5/3/2024
4.6.0-nightly-2024-05-01-8e... 63 5/1/2024
4.6.0-nightly-2024-05-01-88... 56 5/1/2024
4.6.0-nightly-2024-04-29-ea... 66 4/29/2024
4.6.0-nightly-2024-04-26-bc... 74 4/26/2024
4.6.0-nightly-2024-04-25-b4... 82 4/25/2024
4.6.0-nightly-2024-04-24-06... 79 4/24/2024
4.6.0-nightly-2024-04-22-00... 76 4/22/2024
4.6.0-nightly-2024-04-21-2e... 74 4/21/2024
4.6.0-nightly-2024-04-20-2e... 76 4/21/2024
4.6.0-nightly-2024-04-19-0c... 81 4/19/2024
4.6.0-nightly-2024-04-18-0c... 70 4/18/2024
4.6.0-nightly-2024-04-17-b3... 69 4/17/2024
4.6.0-nightly-2024-04-16-1c... 80 4/16/2024
4.6.0-nightly-2024-04-15-13... 135 4/15/2024
4.6.0-nightly-2024-04-14-13... 119 4/15/2024
4.6.0-nightly-2024-04-13-13... 109 4/13/2024
4.6.0-nightly-2024-04-12-4e... 133 4/12/2024
4.6.0-nightly-2024-04-11-62... 106 4/11/2024
4.6.0-nightly-2024-04-10-d8... 125 4/10/2024
4.6.0-nightly-2024-04-09-65... 112 4/9/2024
4.6.0-nightly-2024-04-08-be... 115 4/8/2024
4.6.0-nightly-2024-04-07-be... 119 4/7/2024
4.6.0-nightly-2024-04-05-56... 136 4/5/2024
4.6.0-nightly-2024-04-04-5c... 128 4/4/2024
4.6.0-nightly-2024-04-03-91... 115 4/3/2024
4.6.0-nightly-2024-04-02-5b... 154 4/2/2024
4.6.0-nightly-2024-04-01-69... 62 4/1/2024
4.6.0-nightly-2024-03-31-4a... 70 3/31/2024
4.6.0-nightly-2024-03-29-8f... 107 3/29/2024
4.6.0-nightly-2024-03-29-71... 84 3/29/2024
4.5.0 195 3/15/2024
4.5.0-nightly-2024-03-27-ca... 144 3/27/2024
4.5.0-nightly-2024-03-26-0c... 97 3/27/2024
4.5.0-nightly-2024-03-25-f4... 92 3/25/2024
4.5.0-nightly-2024-03-24-f4... 49 3/25/2024
4.5.0-nightly-2024-03-23-f4... 85 3/23/2024
4.5.0-nightly-2024-03-22-ec... 109 3/22/2024
4.5.0-nightly-2024-03-21-7c... 77 3/21/2024
4.5.0-nightly-2024-03-20-99... 135 3/20/2024
4.5.0-nightly-2024-03-19-39... 88 3/20/2024
4.5.0-nightly-2024-03-18-39... 75 3/18/2024
4.5.0-nightly-2024-03-17-39... 110 3/17/2024
4.5.0-nightly-2024-03-16-39... 120 3/16/2024
4.5.0-nightly-2024-03-15-02... 120 3/15/2024
4.4.0 292 12/12/2023
4.4.0-nightly-2024-03-15-87... 175 3/15/2024
4.4.0-nightly-2024-03-14-28... 91 3/14/2024
4.4.0-nightly-2024-03-13-f1... 141 3/13/2024
4.4.0-nightly-2024-03-12-69... 139 3/12/2024
4.4.0-nightly-2024-03-11-a8... 74 3/11/2024
4.4.0-nightly-2024-03-10-a2... 131 3/11/2024
4.4.0-nightly-2024-03-09-a2... 146 3/9/2024
4.4.0-nightly-2024-03-08-1d... 88 3/8/2024
4.4.0-nightly-2024-03-06-35... 158 3/6/2024
4.4.0-nightly-2024-03-05-35... 135 3/5/2024
4.4.0-nightly-2024-03-04-54... 96 3/4/2024
4.4.0-nightly-2024-03-03-4e... 152 3/3/2024
4.4.0-nightly-2024-03-01-26... 56 3/1/2024
4.4.0-nightly-2024-02-29-2a... 93 2/29/2024
4.4.0-nightly-2024-02-28-2a... 104 2/28/2024
4.4.0-nightly-2024-02-27-2a... 71 2/27/2024
4.4.0-nightly-2024-02-26-1c... 112 2/26/2024
4.4.0-nightly-2024-02-25-d6... 85 2/26/2024
4.4.0-nightly-2024-02-24-d6... 103 2/24/2024
4.4.0-nightly-2024-02-23-d6... 129 2/23/2024
4.4.0-nightly-2024-02-22-e2... 126 2/22/2024
4.4.0-nightly-2024-02-21-22... 73 2/21/2024
4.4.0-nightly-2024-02-20-ce... 145 2/20/2024
4.4.0-nightly-2024-02-19-be... 97 2/19/2024
4.4.0-nightly-2024-02-18-be... 47 2/18/2024
4.4.0-nightly-2024-02-17-be... 70 2/17/2024
4.4.0-nightly-2024-02-16-af... 63 2/16/2024
4.4.0-nightly-2024-02-15-73... 80 2/15/2024
4.4.0-nightly-2024-02-14-5c... 123 2/14/2024
4.4.0-nightly-2024-02-13-9d... 122 2/13/2024
4.4.0-nightly-2024-02-12-d7... 115 2/12/2024
4.4.0-nightly-2024-02-11-c8... 123 2/11/2024
4.4.0-nightly-2024-02-10-c8... 103 2/10/2024
4.4.0-nightly-2024-02-09-29... 71 2/9/2024
4.4.0-nightly-2024-02-08-fc... 126 2/8/2024
4.4.0-nightly-2024-02-07-59... 95 2/7/2024
4.4.0-nightly-2024-02-06-b3... 129 2/6/2024
4.4.0-nightly-2024-02-05-16... 102 2/5/2024
4.4.0-nightly-2024-02-04-c6... 85 2/4/2024
4.4.0-nightly-2024-02-03-c6... 101 2/3/2024
4.4.0-nightly-2024-02-02-70... 47 2/2/2024
4.4.0-nightly-2024-02-01-8b... 66 2/1/2024
4.4.0-nightly-2024-01-31-8b... 86 1/31/2024
4.4.0-nightly-2024-01-30-90... 95 1/30/2024
4.4.0-nightly-2024-01-26-cf... 112 1/26/2024
4.4.0-nightly-2024-01-25-cf... 125 1/25/2024
4.4.0-nightly-2024-01-24-9d... 135 1/24/2024
4.4.0-nightly-2024-01-23-fe... 94 1/23/2024
4.4.0-nightly-2024-01-22-47... 78 1/22/2024
4.4.0-nightly-2024-01-21-a7... 93 1/21/2024
4.4.0-nightly-2024-01-20-79... 93 1/20/2024
4.4.0-nightly-2024-01-19-99... 118 1/19/2024
4.4.0-nightly-2024-01-19-3b... 92 1/19/2024
4.4.0-nightly-2024-01-18-3b... 115 1/18/2024
4.4.0-nightly-2024-01-17-3b... 91 1/17/2024
4.4.0-nightly-2024-01-03-2c... 142 1/3/2024
4.4.0-nightly-2024-01-01-2c... 131 1/1/2024
4.4.0-nightly-2023-12-31-2c... 120 12/31/2023
4.4.0-nightly-2023-12-30-2c... 114 12/30/2023
4.4.0-nightly-2023-12-29-2c... 173 12/29/2023
4.4.0-nightly-2023-12-28-2c... 96 12/28/2023
4.4.0-nightly-2023-12-27-2c... 68 12/27/2023
4.4.0-nightly-2023-12-26-2c... 124 12/26/2023
4.4.0-nightly-2023-12-25-2c... 121 12/25/2023
4.4.0-nightly-2023-12-24-2c... 121 12/24/2023
4.4.0-nightly-2023-12-23-2c... 103 12/23/2023
4.4.0-nightly-2023-12-22-2c... 133 12/22/2023
4.4.0-nightly-2023-12-21-2c... 92 12/21/2023
4.4.0-nightly-2023-12-20-2c... 87 12/20/2023
4.4.0-nightly-2023-12-19-2c... 90 12/19/2023
4.4.0-nightly-2023-12-18-2c... 119 12/18/2023
4.4.0-nightly-2023-12-17-2c... 114 12/17/2023
4.4.0-nightly-2023-12-16-2c... 127 12/16/2023
4.4.0-nightly-2023-12-15-2c... 72 12/15/2023
4.4.0-nightly-2023-12-14-2c... 150 12/15/2023
4.4.0-nightly-2023-12-13-2c... 155 12/13/2023
4.4.0-nightly-2023-12-12-4f... 145 12/12/2023
4.4.0-nightly-2023-12-11-4f... 87 12/11/2023
4.4.0-nightly-2023-12-10-4f... 109 12/10/2023
4.4.0-nightly-2023-12-09-4f... 95 12/9/2023
4.3.0 4,671 9/28/2023
4.3.0-nightly-2023-12-08-7e... 131 12/8/2023
4.3.0-nightly-2023-12-07-c9... 65 12/7/2023
4.3.0-nightly-2023-12-06-6a... 86 12/6/2023
4.3.0-nightly-2023-12-05-cc... 79 12/5/2023
4.3.0-nightly-2023-12-04-fd... 81 12/4/2023
4.3.0-nightly-2023-12-03-23... 124 12/3/2023
4.3.0-nightly-2023-12-02-23... 71 12/2/2023
4.3.0-nightly-2023-12-01-05... 110 12/1/2023
4.3.0-nightly-2023-11-30-8e... 89 11/30/2023
4.3.0-nightly-2023-11-29-f7... 106 11/29/2023
4.3.0-nightly-2023-11-28-c5... 104 11/28/2023
4.3.0-nightly-2023-11-27-98... 103 11/27/2023
4.3.0-nightly-2023-11-25-b1... 115 11/25/2023
4.3.0-nightly-2023-11-24-b1... 102 11/24/2023
4.3.0-nightly-2023-11-23-ec... 100 11/23/2023
4.3.0-nightly-2023-11-22-ec... 125 11/22/2023
4.3.0-nightly-2023-11-21-fd... 109 11/21/2023
4.3.0-nightly-2023-11-21-4f... 93 11/21/2023
4.3.0-nightly-2023-11-19-dd... 89 11/19/2023
4.3.0-nightly-2023-11-18-dd... 87 11/18/2023
4.3.0-nightly-2023-11-17-06... 111 11/17/2023
4.3.0-nightly-2023-11-16-f8... 98 11/16/2023
4.3.0-nightly-2023-11-15-c6... 97 11/15/2023
4.3.0-nightly-2023-11-14-84... 57 11/14/2023
4.3.0-nightly-2023-11-13-5e... 85 11/13/2023
4.3.0-nightly-2023-11-12-90... 89 11/12/2023
4.3.0-nightly-2023-11-11-90... 79 11/11/2023
4.3.0-nightly-2023-11-10-4d... 99 11/10/2023
4.3.0-nightly-2023-11-09-ee... 88 11/9/2023
4.3.0-nightly-2023-11-08-48... 74 11/8/2023
4.3.0-nightly-2023-11-07-48... 89 11/7/2023
4.3.0-nightly-2023-11-06-d4... 124 11/6/2023
4.3.0-nightly-2023-11-05-d4... 235 11/5/2023
4.3.0-nightly-2023-11-02-53... 189 11/2/2023
4.3.0-nightly-2023-11-01-45... 247 11/1/2023
4.3.0-nightly-2023-10-31-af... 207 10/31/2023
4.3.0-nightly-2023-10-30-bf... 165 10/30/2023
4.3.0-nightly-2023-10-29-17... 166 10/29/2023
4.3.0-nightly-2023-10-28-17... 167 10/28/2023
4.3.0-nightly-2023-10-27-c6... 202 10/27/2023
4.3.0-nightly-2023-10-26-c6... 227 10/26/2023
4.3.0-nightly-2023-10-25-5d... 178 10/25/2023
4.3.0-nightly-2023-10-24-cd... 213 10/24/2023
4.3.0-nightly-2023-10-23-7b... 214 10/23/2023
4.3.0-nightly-2023-10-23-3e... 219 10/24/2023
4.3.0-nightly-2023-10-20-81... 201 10/20/2023
4.3.0-nightly-2023-10-19-9e... 166 10/19/2023
4.3.0-nightly-2023-10-18-32... 143 10/18/2023
4.3.0-nightly-2023-10-17-ad... 186 10/17/2023
4.3.0-nightly-2023-10-16-41... 190 10/16/2023
4.3.0-nightly-2023-10-15-fc... 208 10/15/2023
4.3.0-nightly-2023-10-14-fc... 197 10/14/2023
4.3.0-nightly-2023-10-13-0e... 174 10/13/2023
4.3.0-nightly-2023-09-27-35... 203 9/27/2023
4.2.0 5,119 7/20/2023
4.2.0-nightly-2023-10-12-fd... 218 10/12/2023
4.2.0-nightly-2023-10-11-fd... 209 10/11/2023
4.2.0-nightly-2023-10-10-fd... 237 10/10/2023
4.2.0-nightly-2023-10-09-fd... 167 10/9/2023
4.2.0-nightly-2023-10-08-fd... 214 10/8/2023
4.2.0-nightly-2023-10-07-fd... 178 10/7/2023
4.2.0-nightly-2023-10-06-fd... 131 10/6/2023
4.2.0-nightly-2023-10-05-fd... 193 10/5/2023
4.2.0-nightly-2023-10-04-fd... 212 10/4/2023
4.2.0-nightly-2023-10-02-fd... 215 10/2/2023
4.2.0-nightly-2023-09-30-fd... 199 9/30/2023
4.2.0-nightly-2023-09-29-fd... 210 9/29/2023
4.2.0-nightly-2023-09-28-fd... 161 9/28/2023
4.2.0-nightly-2023-09-27-fd... 232 9/27/2023
4.2.0-nightly-2023-09-27-4d... 223 9/27/2023
4.2.0-nightly-2023-09-26-a0... 240 9/26/2023
4.2.0-nightly-2023-09-25-67... 208 9/25/2023
4.2.0-nightly-2023-09-24-67... 191 9/24/2023
4.2.0-nightly-2023-09-23-67... 185 9/23/2023
4.2.0-nightly-2023-09-22-67... 239 9/22/2023
4.2.0-nightly-2023-09-21-75... 158 9/21/2023
4.2.0-nightly-2023-09-20-c6... 207 9/20/2023
4.2.0-nightly-2023-09-19-ae... 225 9/19/2023
4.2.0-nightly-2023-09-18-45... 143 9/18/2023
4.2.0-nightly-2023-09-17-45... 177 9/18/2023
4.2.0-nightly-2023-09-16-04... 176 9/16/2023
4.2.0-nightly-2023-09-15-e7... 169 9/15/2023
4.2.0-nightly-2023-09-14-e5... 195 9/14/2023
4.2.0-nightly-2023-09-13-45... 233 9/13/2023
4.2.0-nightly-2023-09-12-27... 142 9/12/2023
4.2.0-nightly-2023-09-11-d2... 236 9/11/2023
4.2.0-nightly-2023-09-10-c5... 239 9/10/2023
4.2.0-nightly-2023-09-09-ed... 202 9/9/2023
4.2.0-nightly-2023-09-08-37... 194 9/8/2023
4.2.0-nightly-2023-09-07-b6... 214 9/7/2023
4.2.0-nightly-2023-09-06-8d... 242 9/6/2023
4.2.0-nightly-2023-09-05-e1... 157 9/5/2023
4.2.0-nightly-2023-09-04-1e... 192 9/4/2023
4.2.0-nightly-2023-09-03-4a... 201 9/4/2023
4.2.0-nightly-2023-09-02-a8... 213 9/2/2023
4.2.0-nightly-2023-09-01-e9... 218 9/1/2023
4.2.0-nightly-2023-08-31-e9... 208 8/31/2023
4.2.0-nightly-2023-08-30-05... 239 8/30/2023
4.2.0-nightly-2023-08-29-a8... 224 8/29/2023
4.2.0-nightly-2023-08-28-52... 129 8/28/2023
4.2.0-nightly-2023-08-27-95... 184 8/27/2023
4.2.0-nightly-2023-08-26-95... 181 8/26/2023
4.2.0-nightly-2023-08-25-fe... 180 8/25/2023
4.2.0-nightly-2023-08-24-c5... 232 8/24/2023
4.2.0-nightly-2023-08-24-06... 138 8/24/2023
4.2.0-nightly-2023-08-23-b9... 216 8/23/2023
4.2.0-nightly-2023-08-22-84... 218 8/22/2023
4.2.0-nightly-2023-08-21-83... 159 8/21/2023
4.2.0-nightly-2023-08-20-83... 234 8/20/2023
4.2.0-nightly-2023-08-19-83... 184 8/19/2023
4.2.0-nightly-2023-08-18-2a... 213 8/18/2023
4.2.0-nightly-2023-08-17-9e... 159 8/17/2023
4.2.0-nightly-2023-08-16-d9... 129 8/16/2023
4.2.0-nightly-2023-08-15-cd... 189 8/15/2023
4.2.0-nightly-2023-08-14-0c... 144 8/14/2023
4.2.0-nightly-2023-08-13-06... 193 8/13/2023
4.2.0-nightly-2023-08-12-06... 208 8/12/2023
4.2.0-nightly-2023-08-11-e2... 202 8/11/2023
4.2.0-nightly-2023-08-10-44... 192 8/10/2023
4.2.0-nightly-2023-08-09-20... 222 8/9/2023
4.2.0-nightly-2023-08-08-ea... 179 8/9/2023
4.2.0-nightly-2023-08-07-c3... 198 8/7/2023
4.2.0-nightly-2023-08-06-24... 170 8/6/2023
4.2.0-nightly-2023-08-05-38... 191 8/5/2023
4.2.0-nightly-2023-08-04-df... 131 8/4/2023
4.2.0-nightly-2023-08-04-65... 198 8/4/2023
4.2.0-nightly-2023-08-02-a9... 162 8/2/2023
4.2.0-nightly-2023-08-01-52... 213 8/1/2023
4.2.0-nightly-2023-07-31-3b... 187 7/31/2023
4.2.0-nightly-2023-07-30-3b... 187 7/30/2023
4.2.0-nightly-2023-07-29-3b... 191 7/29/2023
4.2.0-nightly-2023-07-28-65... 213 7/28/2023
4.2.0-nightly-2023-07-27-02... 152 7/27/2023
4.2.0-nightly-2023-07-26-59... 150 7/26/2023
4.2.0-nightly-2023-07-25-c5... 180 7/25/2023
4.2.0-nightly-2023-07-24-4d... 201 7/24/2023
4.2.0-nightly-2023-07-23-4d... 176 7/23/2023
4.2.0-nightly-2023-07-22-4d... 167 7/22/2023
4.2.0-nightly-2023-07-21-ab... 221 7/21/2023
4.1.0.50522 326 5/22/2023
4.1.0 361 5/10/2023
4.1.0-nightly-2023-07-20-35... 189 7/20/2023
4.1.0-nightly-2023-07-18-ce... 166 7/18/2023
4.1.0-nightly-2023-07-18-86... 185 7/18/2023
4.1.0-nightly-2023-07-17-ec... 160 7/17/2023
4.1.0-nightly-2023-07-17-e9... 191 7/17/2023
4.1.0-nightly-2023-07-16-e9... 171 7/16/2023
4.1.0-nightly-2023-07-15-e9... 135 7/15/2023
4.1.0-nightly-2023-07-14-12... 149 7/14/2023
4.1.0-nightly-2023-07-13-0d... 218 7/13/2023
4.1.0-nightly-2023-07-12-d4... 176 7/12/2023
4.1.0-nightly-2023-07-11-0f... 175 7/11/2023
4.1.0-nightly-2023-07-10-f4... 188 7/10/2023
4.1.0-nightly-2023-07-09-5c... 123 7/9/2023
4.1.0-nightly-2023-07-08-8b... 159 7/8/2023
4.1.0-nightly-2023-07-07-2d... 165 7/7/2023
4.1.0-nightly-2023-07-06-c5... 151 7/6/2023
4.1.0-nightly-2023-07-05-e4... 197 7/5/2023
4.1.0-nightly-2023-07-04-51... 200 7/4/2023
4.1.0-nightly-2023-07-03-65... 184 7/3/2023
4.1.0-nightly-2023-07-02-e4... 216 7/2/2023
4.1.0-nightly-2023-07-01-e4... 162 7/1/2023
4.1.0-nightly-2023-06-30-86... 128 6/30/2023
4.1.0-nightly-2023-06-29-2b... 188 6/29/2023
4.1.0-nightly-2023-06-28-2b... 151 6/28/2023
4.1.0-nightly-2023-06-27-d7... 107 6/27/2023
4.1.0-nightly-2023-06-26-d7... 138 6/26/2023
4.1.0-nightly-2023-06-25-d7... 144 6/25/2023
4.1.0-nightly-2023-06-24-d7... 156 6/24/2023
4.1.0-nightly-2023-06-23-30... 145 6/23/2023
4.1.0-nightly-2023-06-22-bd... 195 6/22/2023
4.1.0-nightly-2023-06-21-bd... 139 6/21/2023
4.1.0-nightly-2023-06-20-21... 198 6/20/2023
4.1.0-nightly-2023-06-19-9a... 104 6/19/2023
4.1.0-nightly-2023-06-18-9a... 181 6/18/2023
4.1.0-nightly-2023-06-17-9a... 104 6/17/2023
4.1.0-nightly-2023-06-16-b2... 158 6/16/2023
4.1.0-nightly-2023-06-16-18... 138 6/16/2023
4.1.0-nightly-2023-06-15-eb... 151 6/15/2023
4.1.0-nightly-2023-06-15-8f... 148 6/15/2023
4.1.0-nightly-2023-06-13-1c... 159 6/13/2023
4.1.0-nightly-2023-06-12-4e... 175 6/12/2023
4.1.0-nightly-2023-06-11-a8... 186 6/11/2023
4.1.0-nightly-2023-06-10-a8... 143 6/10/2023
4.1.0-nightly-2023-06-09-a8... 173 6/9/2023
4.1.0-nightly-2023-06-08-16... 137 6/8/2023
4.1.0-nightly-2023-06-07-28... 151 6/7/2023
4.1.0-nightly-2023-06-06-59... 174 6/6/2023
4.1.0-nightly-2023-06-05-59... 169 6/5/2023
4.1.0-nightly-2023-06-04-59... 178 6/4/2023
4.1.0-nightly-2023-06-03-59... 125 6/3/2023
4.1.0-nightly-2023-06-02-59... 209 6/2/2023
4.1.0-nightly-2023-06-01-68... 128 6/1/2023
4.1.0-nightly-2023-05-31-b6... 195 5/31/2023
4.1.0-nightly-2023-05-31-81... 160 5/31/2023
4.1.0-nightly-2023-05-30-2f... 106 5/30/2023
4.1.0-nightly-2023-05-29-de... 153 5/29/2023
4.1.0-nightly-2023-05-28-80... 157 5/28/2023
4.1.0-nightly-2023-05-27-80... 157 5/27/2023
4.1.0-nightly-2023-05-26-40... 135 5/26/2023
4.1.0-nightly-2023-05-25-b3... 185 5/25/2023
4.1.0-nightly-2023-05-24-38... 192 5/24/2023
4.1.0-nightly-2023-05-23-16... 199 5/23/2023
4.1.0-nightly-2023-05-22-c8... 202 5/22/2023
4.1.0-nightly-2023-05-21-9b... 136 5/21/2023
4.1.0-nightly-2023-05-20-9b... 220 5/20/2023
4.1.0-nightly-2023-05-19-33... 171 5/19/2023
4.1.0-nightly-2023-05-18-8c... 238 5/18/2023
4.1.0-nightly-2023-05-17-49... 181 5/17/2023
4.1.0-nightly-2023-05-17-05... 174 5/17/2023
4.1.0-nightly-2023-05-15-35... 164 5/15/2023
4.1.0-nightly-2023-05-14-35... 199 5/14/2023
4.1.0-nightly-2023-05-12-30... 151 5/12/2023
4.1.0-nightly-2023-05-11-87... 214 5/11/2023
4.1.0-nightly-2023-05-09-26... 159 5/10/2023
4.1.0-nightly-2023-05-08-d9... 217 5/8/2023
4.1.0-nightly-2023-05-07-a2... 196 5/8/2023
4.1.0-nightly-2023-05-06-a2... 179 5/6/2023
4.1.0-nightly-2023-05-05-81... 160 5/5/2023
4.1.0-nightly-2023-05-04-56... 168 5/4/2023
4.1.0-nightly-2023-05-03-aa... 256 5/3/2023
4.1.0-nightly-2023-05-02-bb... 137 5/2/2023
4.1.0-nightly-2023-05-01-38... 199 5/1/2023
4.1.0-nightly-2023-04-30-38... 117 4/30/2023
4.1.0-nightly-2023-04-29-f0... 155 4/29/2023
4.1.0-nightly-2023-04-29-20... 198 4/29/2023
4.1.0-nightly-2023-04-28-41... 115 4/28/2023
4.1.0-nightly-2023-04-27-d7... 134 4/27/2023
4.1.0-nightly-2023-04-26-21... 193 4/26/2023
4.1.0-nightly-2023-04-25-38... 196 4/25/2023
4.1.0-nightly-2023-04-24-f1... 200 4/24/2023
4.1.0-nightly-2023-04-23-f1... 177 4/23/2023
4.1.0-nightly-2023-04-22-f1... 207 4/22/2023
4.1.0-nightly-2023-04-21-1d... 176 4/21/2023
4.1.0-nightly-2023-04-20-1d... 251 4/20/2023
4.1.0-nightly-2023-04-19-1d... 167 4/19/2023
4.0.0.50303 521 3/3/2023
4.0.0.50303-nightly-2023-04... 198 4/18/2023
4.0.0.50303-nightly-2023-04... 200 4/17/2023
4.0.0.50303-nightly-2023-04... 194 4/16/2023
4.0.0.50303-nightly-2023-04... 179 4/15/2023
4.0.0.50303-nightly-2023-04... 212 4/14/2023
4.0.0.50303-nightly-2023-04... 197 4/13/2023
4.0.0.50303-nightly-2023-04... 226 4/12/2023
4.0.0.50303-nightly-2023-04... 205 4/11/2023
4.0.0.50303-nightly-2023-04... 216 4/10/2023
4.0.0.50303-nightly-2023-04... 157 4/9/2023
4.0.0.50303-nightly-2023-04... 180 4/8/2023
4.0.0.50303-nightly-2023-04... 265 4/7/2023
4.0.0.50303-nightly-2023-04... 219 4/6/2023
4.0.0.50303-nightly-2023-04... 225 4/5/2023
4.0.0.50303-nightly-2023-04... 231 4/4/2023
4.0.0.50303-nightly-2023-04... 192 4/5/2023
4.0.0.50303-nightly-2023-04... 222 4/3/2023
4.0.0.50303-nightly-2023-04... 200 4/2/2023
4.0.0.50303-nightly-2023-04... 239 4/1/2023
4.0.0.50303-nightly-2023-03... 221 3/31/2023
4.0.0.50303-nightly-2023-03... 198 3/30/2023
4.0.0.50303-nightly-2023-03... 312 3/29/2023
4.0.0.50303-nightly-2023-03... 215 3/28/2023
4.0.0.50303-nightly-2023-03... 205 3/27/2023
4.0.0.50303-nightly-2023-03... 256 3/25/2023
4.0.0.50303-nightly-2023-03... 198 3/24/2023
4.0.0.50303-nightly-2023-03... 246 3/23/2023
4.0.0.50303-nightly-2023-03... 232 3/22/2023
4.0.0.50303-nightly-2023-03... 220 3/22/2023
4.0.0.50303-nightly-2023-03... 180 3/21/2023
4.0.0.50303-nightly-2023-03... 212 3/21/2023
4.0.0.50303-nightly-2023-03... 243 3/21/2023
4.0.0.50303-nightly-2023-03... 251 3/20/2023
4.0.0.50303-nightly-2023-03... 246 3/19/2023
4.0.0.50303-nightly-2023-03... 211 3/18/2023
4.0.0.50303-nightly-2023-03... 124 3/17/2023
4.0.0.50303-nightly-2023-03... 160 3/16/2023
4.0.0.50303-nightly-2023-03... 178 3/15/2023
4.0.0.50303-nightly-2023-03... 218 3/13/2023
4.0.0.50303-nightly-2023-03... 212 3/12/2023
4.0.0.50303-nightly-2023-03... 183 3/11/2023
4.0.0.50303-nightly-2023-03... 167 3/10/2023
4.0.0.50303-nightly-2023-03... 180 3/9/2023
4.0.0.50303-nightly-2023-03... 214 3/8/2023
4.0.0.50303-nightly-2023-03... 194 3/3/2023
4.0.0.50302 1,561 3/3/2023
4.0.0.50302-nightly-2023-03... 121 3/2/2023
3.13.1.50302 327 3/2/2023
3.13.1.50302-nightly-2023-0... 103 3/2/2023
3.13.0.50302 341 3/2/2023
3.13.0.50302-nightly-2023-0... 195 3/2/2023
3.12.0.50221 387 2/21/2023
3.12.0.50221-nightly-2023-0... 223 3/7/2023
3.12.0.50221-nightly-2023-0... 118 3/6/2023
3.12.0.50221-nightly-2023-0... 196 3/3/2023
3.12.0.50221-nightly-2023-0... 163 3/2/2023
3.12.0.50221-nightly-2023-0... 216 3/1/2023
3.12.0.50221-nightly-2023-0... 216 2/28/2023
3.12.0.50221-nightly-2023-0... 173 2/28/2023
3.12.0.50221-nightly-2023-0... 218 2/27/2023
3.12.0.50221-nightly-2023-0... 160 2/27/2023
3.12.0.50221-nightly-2023-0... 197 2/26/2023
3.12.0.50221-nightly-2023-0... 225 2/25/2023
3.12.0.50221-nightly-2023-0... 170 2/23/2023
3.12.0.50221-nightly-2023-0... 140 2/22/2023
3.12.0.50221-nightly-2023-0... 175 2/21/2023
3.11.0.50201 362 2/1/2023
3.11.0.50201-nightly-2023-0... 187 2/21/2023
3.11.0.50201-nightly-2023-0... 216 2/20/2023
3.11.0.50201-nightly-2023-0... 199 2/19/2023
3.11.0.50201-nightly-2023-0... 186 2/18/2023
3.11.0.50201-nightly-2023-0... 172 2/18/2023
3.11.0.50201-nightly-2023-0... 175 2/17/2023
3.11.0.50201-nightly-2023-0... 148 2/16/2023
3.11.0.50201-nightly-2023-0... 178 2/15/2023
3.11.0.50201-nightly-2023-0... 162 2/14/2023
3.11.0.50201-nightly-2023-0... 187 2/13/2023
3.11.0.50201-nightly-2023-0... 193 2/12/2023
3.11.0.50201-nightly-2023-0... 172 2/11/2023
3.11.0.50201-nightly-2023-0... 136 2/11/2023
3.11.0.50201-nightly-2023-0... 232 2/10/2023
3.11.0.50201-nightly-2023-0... 200 2/11/2023
3.11.0.50201-nightly-2023-0... 209 2/9/2023
3.11.0.50201-nightly-2023-0... 136 2/8/2023
3.11.0.50201-nightly-2023-0... 141 2/7/2023
3.11.0.50201-nightly-2023-0... 211 2/6/2023
3.11.0.50201-nightly-2023-0... 228 2/5/2023
3.11.0.50201-nightly-2023-0... 195 2/4/2023
3.11.0.50201-nightly-2023-0... 218 2/3/2023
3.11.0.50201-nightly-2023-0... 195 2/2/2023
3.11.0.50201-nightly-2023-0... 131 2/1/2023
3.10.0.41215 438 12/15/2022
3.10.0.41215-nightly-2023-0... 246 2/1/2023
3.10.0.41215-nightly-2023-0... 215 1/31/2023
3.10.0.41215-nightly-2023-0... 194 1/30/2023
3.10.0.41215-nightly-2023-0... 174 1/29/2023
3.10.0.41215-nightly-2023-0... 226 1/28/2023
3.10.0.41215-nightly-2023-0... 232 1/27/2023
3.10.0.41215-nightly-2023-0... 171 1/26/2023
3.10.0.41215-nightly-2023-0... 172 1/25/2023
3.10.0.41215-nightly-2023-0... 222 1/24/2023
3.10.0.41215-nightly-2023-0... 235 1/23/2023
3.10.0.41215-nightly-2023-0... 216 1/22/2023
3.10.0.41215-nightly-2023-0... 197 1/21/2023
3.10.0.41215-nightly-2023-0... 185 1/20/2023
3.10.0.41215-nightly-2023-0... 198 1/19/2023
3.10.0.41215-nightly-2023-0... 165 1/18/2023
3.10.0.41215-nightly-2023-0... 222 1/17/2023
3.10.0.41215-nightly-2023-0... 245 1/16/2023
3.10.0.41215-nightly-2023-0... 220 1/15/2023
3.10.0.41215-nightly-2023-0... 210 1/14/2023
3.10.0.41215-nightly-2023-0... 179 1/13/2023
3.10.0.41215-nightly-2023-0... 205 1/12/2023
3.10.0.41215-nightly-2023-0... 229 1/11/2023
3.10.0.41215-nightly-2023-0... 213 1/10/2023
3.10.0.41215-nightly-2023-0... 196 1/9/2023
3.10.0.41215-nightly-2023-0... 208 1/9/2023
3.10.0.41215-nightly-2023-0... 225 1/9/2023
3.10.0.41215-nightly-2023-0... 199 1/6/2023
3.10.0.41215-nightly-2023-0... 200 1/5/2023
3.10.0.41215-nightly-2023-0... 196 1/4/2023
3.10.0.41215-nightly-2023-0... 207 1/3/2023
3.10.0.41215-nightly-2023-0... 231 1/2/2023
3.10.0.41215-nightly-2023-0... 255 1/2/2023
3.10.0.41215-nightly-2022-1... 138 12/31/2022
3.10.0.41215-nightly-2022-1... 223 12/30/2022
3.10.0.41215-nightly-2022-1... 178 12/29/2022
3.10.0.41215-nightly-2022-1... 160 12/28/2022
3.10.0.41215-nightly-2022-1... 195 12/27/2022
3.10.0.41215-nightly-2022-1... 270 12/26/2022
3.10.0.41215-nightly-2022-1... 160 12/25/2022
3.10.0.41215-nightly-2022-1... 132 12/24/2022
3.10.0.41215-nightly-2022-1... 179 12/23/2022
3.10.0.41215-nightly-2022-1... 169 12/22/2022
3.10.0.41215-nightly-2022-1... 170 12/21/2022
3.10.0.41215-nightly-2022-1... 163 12/20/2022
3.10.0.41215-nightly-2022-1... 187 12/19/2022
3.10.0.41215-nightly-2022-1... 171 12/18/2022
3.10.0.41215-nightly-2022-1... 212 12/17/2022
3.10.0.41215-nightly-2022-1... 164 12/15/2022
3.10.0.41129-nightly-2022-1... 215 11/29/2022
3.10.0-nightly-2022-12-16-7... 164 12/16/2022
3.10.0-nightly-2022-12-15-5... 182 12/15/2022
3.10.0-nightly-2022-12-14-3... 153 12/14/2022
3.10.0-nightly-2022-12-13-1... 196 12/13/2022
3.10.0-nightly-2022-12-12-f... 170 12/12/2022
3.10.0-nightly-2022-12-12-1... 144 12/12/2022
3.10.0-nightly-2022-12-11-f... 190 12/11/2022
3.10.0-nightly-2022-12-10-f... 183 12/10/2022
3.10.0-nightly-2022-12-09-f... 193 12/9/2022
3.10.0-nightly-2022-12-08-b... 140 12/8/2022
3.10.0-nightly-2022-12-07-3... 186 12/7/2022
3.10.0-nightly-2022-12-06-3... 203 12/6/2022
3.10.0-nightly-2022-12-05-3... 152 12/5/2022
3.10.0-nightly-2022-12-04-3... 130 12/4/2022
3.10.0-nightly-2022-12-03-3... 157 12/3/2022
3.10.0-nightly-2022-12-02-e... 192 12/2/2022
3.9.1.41027 538 10/27/2022
3.9.1.41027-nightly-2022-12... 182 12/1/2022
3.9.1.41027-nightly-2022-11... 187 11/30/2022
3.9.1.41027-nightly-2022-11... 163 11/29/2022
3.9.1.41027-nightly-2022-11... 177 11/29/2022
3.9.1.41027-nightly-2022-11... 220 11/28/2022
3.9.1.41027-nightly-2022-11... 149 11/27/2022
3.9.1.41027-nightly-2022-11... 242 11/26/2022
3.9.1.41027-nightly-2022-11... 187 11/25/2022
3.9.1.41027-nightly-2022-11... 201 11/24/2022
3.9.1.41027-nightly-2022-11... 192 11/23/2022
3.9.1.41027-nightly-2022-11... 168 11/22/2022
3.9.1.41027-nightly-2022-11... 185 11/21/2022
3.9.1.41027-nightly-2022-11... 177 11/20/2022
3.9.1.41027-nightly-2022-11... 171 11/19/2022
3.9.1.41027-nightly-2022-11... 127 11/18/2022
3.9.1.41027-nightly-2022-11... 182 11/17/2022
3.9.1.41027-nightly-2022-11... 197 11/16/2022
3.9.1.41027-nightly-2022-11... 188 11/15/2022
3.9.1.41027-nightly-2022-11... 200 11/14/2022
3.9.1.41027-nightly-2022-11... 179 11/13/2022
3.9.1.41027-nightly-2022-11... 234 11/12/2022
3.9.1.41027-nightly-2022-11... 123 11/11/2022
3.9.1.41027-nightly-2022-11... 217 11/10/2022
3.9.1.41027-nightly-2022-11... 211 11/9/2022
3.9.1.41027-nightly-2022-11... 182 11/8/2022
3.9.1.41027-nightly-2022-11... 213 11/7/2022
3.9.1.41027-nightly-2022-11... 221 11/6/2022
3.9.1.41027-nightly-2022-11... 221 11/5/2022
3.9.1.41027-nightly-2022-11... 199 11/4/2022
3.9.1.41027-nightly-2022-11... 227 11/3/2022
3.9.1.41027-nightly-2022-11... 146 11/2/2022
3.9.1.41027-nightly-2022-11... 172 11/2/2022
3.9.1.41027-nightly-2022-10... 153 10/31/2022
3.9.1.41027-nightly-2022-10... 176 10/29/2022
3.9.1.41027-nightly-2022-10... 230 10/28/2022
3.9.1.41027-nightly-2022-10... 223 10/27/2022
3.9.0.41003 512 10/3/2022
3.9.0.41003-nightly-2022-10... 228 10/27/2022
3.9.0.41003-nightly-2022-10... 161 10/26/2022
3.9.0.41003-nightly-2022-10... 196 10/25/2022
3.9.0.41003-nightly-2022-10... 223 10/24/2022
3.9.0.41003-nightly-2022-10... 198 10/23/2022
3.9.0.41003-nightly-2022-10... 214 10/22/2022
3.9.0.41003-nightly-2022-10... 246 10/21/2022
3.9.0.41003-nightly-2022-10... 216 10/20/2022
3.9.0.41003-nightly-2022-10... 266 10/19/2022
3.9.0.41003-nightly-2022-10... 138 10/18/2022
3.9.0.41003-nightly-2022-10... 157 10/16/2022
3.9.0.41003-nightly-2022-10... 192 10/15/2022
3.9.0.41003-nightly-2022-10... 190 10/14/2022
3.9.0.41003-nightly-2022-10... 221 10/13/2022
3.9.0.41003-nightly-2022-10... 229 10/12/2022
3.9.0.41003-nightly-2022-10... 192 10/11/2022
3.9.0.41003-nightly-2022-10... 241 10/10/2022
3.9.0.41003-nightly-2022-10... 187 10/9/2022
3.9.0.41003-nightly-2022-10... 251 10/8/2022
3.9.0.41003-nightly-2022-10... 212 10/7/2022
3.9.0.41003-nightly-2022-10... 192 10/6/2022
3.9.0.41003-nightly-2022-10... 173 10/5/2022
3.9.0.41003-nightly-2022-10... 167 10/4/2022
3.9.0.41003-nightly-2022-10... 220 10/3/2022
3.9.0.40930 483 10/3/2022
3.9.0.40930-nightly-2022-09... 245 9/30/2022
3.8.1.40901 734 9/1/2022
3.8.1.40901-nightly-2022-10... 217 10/3/2022
3.8.1.40901-nightly-2022-10... 208 10/2/2022
3.8.1.40901-nightly-2022-10... 216 10/1/2022
3.8.1.40901-nightly-2022-09... 165 9/30/2022
3.8.1.40901-nightly-2022-09... 188 9/29/2022
3.8.1.40901-nightly-2022-09... 239 9/28/2022
3.8.1.40901-nightly-2022-09... 201 9/27/2022
3.8.1.40901-nightly-2022-09... 189 9/26/2022
3.8.1.40901-nightly-2022-09... 218 9/25/2022
3.8.1.40901-nightly-2022-09... 228 9/24/2022
3.8.1.40901-nightly-2022-09... 252 9/23/2022
3.8.1.40901-nightly-2022-09... 259 9/22/2022
3.8.1.40901-nightly-2022-09... 189 9/21/2022
3.8.1.40901-nightly-2022-09... 212 9/20/2022
3.8.1.40901-nightly-2022-09... 204 9/19/2022
3.8.1.40901-nightly-2022-09... 209 9/18/2022
3.8.1.40901-nightly-2022-09... 166 9/17/2022
3.8.1.40901-nightly-2022-09... 157 9/16/2022
3.8.1.40901-nightly-2022-09... 225 9/15/2022
3.8.1.40901-nightly-2022-09... 192 9/14/2022
3.8.1.40901-nightly-2022-09... 186 9/13/2022
3.8.1.40901-nightly-2022-09... 223 9/12/2022
3.8.1.40901-nightly-2022-09... 197 9/11/2022
3.8.1.40901-nightly-2022-09... 223 9/10/2022
3.8.1.40901-nightly-2022-09... 190 9/9/2022
3.8.1.40901-nightly-2022-09... 271 9/8/2022
3.8.1.40901-nightly-2022-09... 205 9/8/2022
3.8.1.40901-nightly-2022-09... 176 9/7/2022
3.8.1.40901-nightly-2022-09... 235 9/7/2022
3.8.1.40901-nightly-2022-09... 227 9/7/2022
3.8.1.40901-nightly-2022-09... 232 9/6/2022
3.8.1.40901-nightly-2022-09... 283 9/5/2022
3.8.1.40901-nightly-2022-09... 162 9/2/2022
3.8.1.40901-nightly-2022-09... 221 9/1/2022
3.8.1.40901-nightly-2022-09... 235 9/1/2022
3.8.0.40823 742 8/23/2022
3.8.0.40823-nightly-2022-09... 203 9/1/2022
3.8.0.40823-nightly-2022-08... 243 8/31/2022
3.8.0.40823-nightly-2022-08... 238 8/30/2022
3.8.0.40823-nightly-2022-08... 286 8/29/2022
3.8.0.40823-nightly-2022-08... 196 8/28/2022
3.8.0.40823-nightly-2022-08... 170 8/27/2022
3.8.0.40823-nightly-2022-08... 206 8/26/2022
3.8.0.40823-nightly-2022-08... 212 8/25/2022
3.8.0.40823-nightly-2022-08... 212 8/24/2022
3.8.0.40823-nightly-2022-08... 261 8/23/2022
3.8.0.40823-nightly-2022-08... 200 8/23/2022
3.8.0.40822 711 8/22/2022
3.8.0.40822-nightly-2022-08... 257 8/23/2022
3.8.0.40822-nightly-2022-08... 191 8/22/2022
3.8.0.40729-nightly-2022-08... 209 8/22/2022
3.8.0.40729-nightly-2022-08... 183 8/21/2022
3.8.0.40729-nightly-2022-08... 186 8/20/2022
3.8.0.40729-nightly-2022-08... 230 8/19/2022
3.8.0.40729-nightly-2022-08... 215 8/18/2022
3.8.0.40729-nightly-2022-08... 217 8/17/2022
3.8.0.40729-nightly-2022-08... 191 8/16/2022
3.8.0.40729-nightly-2022-08... 213 8/15/2022
3.8.0.40729-nightly-2022-08... 185 8/14/2022
3.8.0.40729-nightly-2022-08... 182 8/13/2022
3.8.0.40729-nightly-2022-08... 270 8/12/2022
3.8.0.40729-nightly-2022-08... 202 8/11/2022
3.8.0.40729-nightly-2022-08... 232 8/10/2022
3.8.0.40729-nightly-2022-08... 221 8/9/2022
3.8.0.40729-nightly-2022-08... 220 8/8/2022
3.8.0.40729-nightly-2022-08... 228 8/7/2022
3.8.0.40729-nightly-2022-08... 273 8/6/2022
3.8.0.40729-nightly-2022-08... 266 8/5/2022
3.7.3.40719 684 7/19/2022
3.7.2.40713 745 7/13/2022
3.7.1.40621 1,452 6/21/2022
3.7.1.40621-nightly-2022-07... 357 7/9/2022
3.7.0.40620 1,001 6/20/2022