ppx_import archives missing

[djs55]

These URLs are all returning 404 Not found errors for me:

$ cat ppx_import.1.4/url
http: "https://github.com/whitequark/ppx_import/archive/v1.4.tar.gz"
checksum: "c1b409cd33456a97f36d8446f9320ff6"

$ cat ppx_import.1.3/url
http: "https://github.com/whitequark/ppx_import/archive/v1.3.tar.gz"
checksum: "63591a48804d12dcdd02289c5f051fcb"

$ cat ppx_import.1.2/url
http: "https://github.com/whitequark/ppx_import/archive/v1.2.tar.gz"
checksum: "7091ab31a453d4aff37d3fdb413aa5c4"

$ cat ppx_import.1.1/url
http: "https://github.com/whitequark/ppx_import/archive/v1.1.tar.gz"
checksum: "9cb4f59dd6ef023141232265892cd53a"

FYI @whitequark

[hcarty]

Fix in #12137

[whitequark]

The ocaml-ppx/ppx_import repository was accidentally deleted and that broke redirects.

[djs55]

Thanks for the update (and the fix!)