UnknownPkgDirEntry: unknown entry: 'pkgcheck'
  DroppedKeywords: version 9.1.0-r1: x86
  RedirectedUrl: version 9.1.0-r1: SRC_URI: permanently redirected: https://github.com/coq/coq/archive/V9.1.0.tar.gz -> https://github.com/rocq-prover/rocq/archive/V9.1.0.tar.gz