Coqのコードをopamに登録する方法

Rocq(旧Coq)のopamリポジトリはこちら: https://github.com/rocq-prover/opam
基本的にはこちらにPRを投げることでopamリポジトリに登録してもらう．これはopamのデフォルトリポジトリではないが，Rocq使う人がみんな入れているリポジトリなのでほぼ公式みたいな存在．

• forkする
• opamファイルを追加する
• PRとしてなげる

coq-extra-dev に登録するには

こちらリポジトリは開発用なので，どんなものでもバンバンいれられそう．

• ↑上記の場所にディレクトリを一つ新規追加する
  • ディレクトリ名は rocq-{プロジェクト名}/rocq-{プロジェクト名}.dev/ とかにしがち
• そのなかに opam という名前で opamファイルを配置する

coq-released に登録するには

まずは自分のリポジトリでタグを打って，releaseしておくのがよさそう

• 上記の場所に rocq-{プロジェクト名}/rocq-{プロジェクト名}.{バージョン}/opam というファイルを追加
• opamファイルの url セクションをgithubのリリースの tar.gz のリンクにする
• 手元にtar.gzをダウンロードして checksumを取る
  • shasum -a 256 ~/Downloads/{ファイル名}.tar.gz とか
• 適当なブランチにcommitしてPR作成