Use new URL for GitHub tarballs.

GitHub switched URLs for tarballs, redirecting to the new one with
a 302. However, old versions of Racket don't follow redirects in
`raco pkg install`, so they broke (before 6.3). Using the new URL
should work for everyone.

Reported by @greghendershott.
This commit is contained in:
Sam Tobin-Hochstadt 2020-03-28 15:20:59 -04:00
parent 7ed8ea040e
commit 803f235c30

View File

@ -340,7 +340,7 @@
(define new-url
(url "https" #f "github.com" #f #t
(map (λ (x) (path/param x empty))
(list user repo "tarball" checksum))
(list user repo "legacy.tar.gz" checksum))
empty
#f))
(define tmp.tgz