Closed shonfeder closed 3 weeks ago
Initially, I rolled back to commit a11a91197a0382ca15b2d4e99abfbe8a0f5079b9
from 14th Aug 2024 but this has the same issue.
I am now using commit 48a157e5320ec0df707cf8616108cb998e12e681
from 25th Sept 2023 as this seems to be ok.
It's due to https://github.com/ocurrent/solver-service/pull/77, which updated to the dev version of opam. OpamFilter.filter_deps
added a new optional ?dev_setup
argument, and crashes if you don't pass it and a package uses {with-dev-setup}
.
Given the timing, we assume it is related to the recent deployment of https://github.com/ocurrent/solver-service/pull/79 or its direct antecedents.
First noticed by @punchagan.