opam 2.0.3-1 fails on init due to incorrect solver dependencies
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
opam (Debian) |
Fix Released
|
Unknown
|
|||
opam (Ubuntu) |
Confirmed
|
Undecided
|
Unassigned |
Bug Description
opam 2.0.3 in debian-testing and Ubuntu 19.04 seems to fail on init due to being compiled with solver dependencies that are not the ones recommended by upstream opam. The symptoms are:
```
# opam init -ya
<snip>
<><> Creating initial switch (ocaml-
[ERROR] Solver failed: "/usr/bin/aspcud /tmp/opam-
grounder returned with non-zero exit status
```
The Debian bug report is at: https:/
I maintain a PPA at avsm/ppa that does work, but is not suitable for upstreaming (its just to get the working opam binary into CI easily).
Changed in opam (Debian): | |
status: | Unknown → Fix Released |
Status changed to 'Confirmed' because the bug affects multiple users.