Marcello Seri
Marcello Seri
@shonfeder do you know?
Is there a way to test this package using the libtorch package only on the CI, but not require the package when user install it (instead fail with the error...
@shonfeder I agree with you. @dkalinichenko-js is that ok with you? If so, please add the failure message recommending the PyTorch installation and keep libtorch only as depopt, and we...
> Would merging this package while it's failing in the CI really be ok? We have a few packages that have this issue. Until we have a workaround for this,...
Thanks!
This should be reported to https://github.com/ygrek/ocaml-extlib
What do you reckon we should do? Should we revert the change? Ping also @hannesm
I have also checked the dependency on gpatch for some macos package managers * homebrew already depends on gpatch: https://github.com/Homebrew/homebrew-core/blob/ca77af62b3263b8e67e339b8513f17239224796e/Formula/o/opam.rb#L20 * macports doesn't yet but I opened a PR for...
I suggest we make an entry on the FAQ in the Wiki with the specific error for this issue and the command to fix it, and then close this issue
Checked packages: - [x] bap-std - [x] class_group_vdf - [x] comby - [ ] conf-gmp-powm-sec - [x] conf-mpfr - [ ] gappa - [ ] gmp-ecm - [ ] goblint...