opam-cross-android
opam-cross-android copied to clipboard
https://github.com/whitequark/topkg.git does not exist
https://github.com/whitequark/topkg.git does not exist anymore
Ah, that's bad; I think that repo might have had changes I don't have elsewhere. Let me write to GitHub.
Nope, seems like a lost cause. I think that had some contentious patches that upstream might not have liked. I unfortunately have no idea what they were, and I do not have any local copies left.
The main page of the Github repo as of June 27, 2018 is archived at https://web.archive.org/web/20180627180315/https://github.com/whitequark/topkg. The last commit is 3cabbc0
(Add the --toolchain option, for ocamlbuild -toolchain.) I see upstream merged that in https://github.com/dbuenzli/topkg/pull/87. There’s also https://github.com/dbuenzli/topkg/pull/102.
Were there any other changes since then? Is the toolchain still usable without them (using upstream instead), possibly with certain limitations (if so, which)?
I think that was it
So, would I just need to use the upstream repo URL instead, or omit it altogether, or...?
Upstream repo, or the release should work fine