Show installed files.

[silene]

No description provided.

[silene]

The job log looks as follows:

  - install coq-stdlib          8.20.1 [required by coq]
  - install coq                 8.20.1 [required by coq-stdpp]
  - install coq-stdpp           1.11.0
===== 11 to install =====
Installing coq-stdpp.1.11.0
[WARNING] Running as root is not recommended

Installed files:
[WARNING] Running as root is not recommended
[WARNING] Running as root is not recommended
/lib/coq/user-contrib/stdpp
/lib/coq/user-contrib/stdpp/base.glob
/lib/coq/user-contrib/stdpp/base.v
/lib/coq/user-contrib/stdpp/base.vo
/lib/coq/user-contrib/stdpp/binders.glob
...
/lib/coq/user-contrib/stdpp/zmap.vo


Removing coq-stdpp
[WARNING] Running as root is not recommended
Ignoring scripts/opam-coq-install-remove

[palmskog]

Looks reasonable to me. We may want to add some check that this list is not empty in the future.

[silene]

Good point. We could also check that it matches the documented logpath.