Commit 2023-03-26 17:53 e2501e86

View on Github →

chore: download recent curl if necessary on x64 Linux (#3097)

Estimated changes

Modified Cache/IO.lean

added def Cache.IO.CURLBIN

added def Cache.IO.CURLVERSION

added def Cache.IO.getCurl

added def Cache.IO.runCurl

Modified Cache/Requests.lean