Rocqのライブラリやツールは次のリポジトリが広く使われている¹.

両方のリポジトリは coq/opam というgithubプロジェクトで管理されており，ここに自分の開発しているプロジェクトのopamファイルを pull request することで登録申請をする．それを自動的にやってくれるのが opam publish コマンドというわけ．

`rocq-released` に自分のプロジェクトを登録申請する手順

rocq-<PROJ>.opam というような名前で作成する．

git tag X.X.X
git push --tags

「Settings」→「Developpers Tool」→「Personal access tokens」→「Tokens (classic)」から「Generate new token」して，PRを発行できる権限を付けたトークンを発行する．

使用例:

opam publish --tag=rocqnavi.0.2.0 -v 0.2.0 --repo=coq/opam \
  --packages-directory released/packages