# Error with opam install

**URL:** <https://discuss.ocaml.org/t/error-with-opam-install/4848>\
**Category:** Community\
**Tags:** opam\
**Created:** [December 11, 2019, 7:18am UTC](https://discuss.ocaml.org/t/error-with-opam-install/4848 "2019-12-11T07:18:43Z")\
**Posts on this page:** 5\
**Page:** 1

<div class="post-metadata">

**Author:** ![linduf](https://avatars.discourse-cdn.com/v4/letter/l/9de053/32.png) [@linduf](https://discuss.ocaml.org/u/linduf)\
**Post date:** [December 11, 2019, 7:18am UTC](https://discuss.ocaml.org/t/error-with-opam-install/4848/1 "2019-12-11T07:18:43Z")

</div>

When I try to install any package with Opam, i.e.

$ opam install why3

I receive the following message:

[ERROR] Solver failed: “/usr/bin/aspcud  
/home/jfd/.opam/log/solver-in-22974-5f1023  
/home/jfd/.opam/log/solver-out-22974-58c514  
-count(removed),-sum(request,version-lag),-count(down),-sum(solution,version-lag),-count(changed)”  
exited with code 1 “ERROR: grounder returned with non-zero exit status”

Somebody can help?

Thank you

---

<div class="post-metadata">

**Author:** ![njb](https://avatars.discourse-cdn.com/v4/letter/n/ecb155/32.png) [@njb](https://discuss.ocaml.org/u/njb)\
**Post date:** [December 11, 2019, 8:56am UTC](https://discuss.ocaml.org/t/error-with-opam-install/4848/2 "2019-12-11T08:56:23Z")

</div>

I just tried a:

```
$ ls -al /usr/bin/aspcud
ls: cannot access '/usr/bin/aspcud': No such file or directory

```

and then I did:

```
$ opam install why3
The following actions will be performed:
  ∗ install why3 1.2.1

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[why3.1.2.1] downloaded from cache at https://opam.ocaml.org/cache

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed why3.1.2.1
Done.

```

So, all I can say is that I have coq 8.10.2 installed - probably best to contact the why3 group

---

<div class="post-metadata">

**Author:** ![PatJ](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/patj/32/1861_2.png) [@PatJ](https://discuss.ocaml.org/u/PatJ)\
**Post date:** [December 11, 2019, 9:41am UTC](https://discuss.ocaml.org/t/error-with-opam-install/4848/3 "2019-12-11T09:41:35Z")

</div>

This looks like a solver failure, this might be an opam bug. What version of opam and aspcud are you using and on what system/distribution?

Try `opam --solver=mcss install why3` to see if this is an aspcud issue.

---

<div class="post-metadata">

**Author:** ![linduf](https://avatars.discourse-cdn.com/v4/letter/l/9de053/32.png) [@linduf](https://discuss.ocaml.org/u/linduf)\
**Post date:** [December 12, 2019, 8:31am UTC](https://discuss.ocaml.org/t/error-with-opam-install/4848/4 "2019-12-12T08:31:21Z")

</div>

The problem has been solved by reinstallation of the last versions of apscud and opam. Many thanks.

---

<div class="post-metadata">

**Author:** ![rjbou](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/rjbou/32/1124_2.png) [@rjbou](https://discuss.ocaml.org/u/rjbou)\
**Post date:** [December 12, 2019, 2:17pm UTC](https://discuss.ocaml.org/t/error-with-opam-install/4848/5 "2019-12-12T14:17:02Z")

</div>

Great! Since opam 2.0, the solver is embedded, you should no more need an external aspcud (unless you choose to use an external solver).