Merge pull request #437 from coq/8.19-release-prep-2 #1995
MSoegtropIMCArtifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Smoke Test Kit Windows 8.18~2023.11 64
|
271 KB |
|
|
Smoke Test Kit Windows 8.19~2024.10 64
|
268 KB |
|
|
Windows installer 8.18~2023.11 64
|
470 MB |
|
|
Windows installer 8.19~2024.10 64
|
498 MB |
|