daml/.dadew
Moritz Kiefer 92cb4e7a32
Bump curl on Windows (#8044)
The old url 404s now and upgrading seems nice anyway.

changelog_begin
changelog_end
2020-11-24 09:27:05 +00:00

20 lines
381 B
Plaintext

{
"version": "0.0.8",
"manifests": "dev-env\\windows\\manifests",
"tools": [
"7zip",
"bazel",
"cacert",
"curl-7.73.0",
"java-openjdk-8u201",
"maven-3.6.1",
"msys2",
"nodejs-12.17.0",
"nsis-3.04",
"python-3.8.2",
"stack",
"toxiproxy",
"vcredist-14.27.29112"
]
}