某些Coq标准库无法加载

Question

我最近在系统上安装了coq（首先从arch用户存储库中安装，然后通过opam面对同样的问题）。当我想尝试标准库时，我意识到可以加载某些库，而其他则不能。例如

Require Import Arith.
Require Import Logic.

效果很好，而

Require Import Lists.

或

Require Import Sets.

显示消息

Unable to locate library Lists.

这里可能是什么问题？