我在Ubuntu 14.04上通过opam安装了coq。我试图得到（并最终运行）奇数阶定理的“剥离”证明的源代码;即文件stripped_odd_order_theorem.v。以下是我的设置：
$ coqtop -v
The Coq Proof Assistant, version 8.4pl6 (June 2017)
compiled on Jun 14 2017 12:32:33 with OCaml 4.02.3
像
这样的命令opam install coq-mathcomp-solvable
工作正常，但我正在寻找的是文件stripped_odd_order_theorem.v，当我以另一种方式安装coq时，我在ssreflect的早期版本中有这个文件。根据{{3}}，此文件现在似乎存在于coq-mathcomp-odd-order包中，但
$ opam install coq-mathcomp-odd-order
[ERROR] No package named coq-mathcomp-odd-order found.
我不明白。