opam-cross-android icon indicating copy to clipboard operation
opam-cross-android copied to clipboard

https://github.com/whitequark/topkg.git does not exist

Open lattice0 opened this issue 4 years ago • 6 comments

https://github.com/whitequark/topkg.git does not exist anymore

lattice0 avatar Apr 24 '20 10:04 lattice0

Ah, that's bad; I think that repo might have had changes I don't have elsewhere. Let me write to GitHub.

whitequark avatar Apr 24 '20 10:04 whitequark

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.

whitequark avatar Apr 24 '20 10:04 whitequark

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)?

mvglasow avatar Jun 17 '23 10:06 mvglasow

I think that was it

whitequark avatar Jun 17 '23 21:06 whitequark

So, would I just need to use the upstream repo URL instead, or omit it altogether, or...?

mvglasow avatar Jun 30 '23 17:06 mvglasow

Upstream repo, or the release should work fine

whitequark avatar Jul 02 '23 05:07 whitequark