No package named coq-stdpp-unstable found
Following the README instructions, I can do opam install coq-stdpp
but when I try to run opam install coq-stdpp-unstable
I get [ERROR] No package named coq-stdpp-unstable found
. I was able to build and install coq-stdpp-unstable
running ./make-package stdpp_unstable
and ./make-package stdpp_unstable install
.