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

追記 (2025 09.17)

この記事は opam publish コマンドを使わない方法です．opam publishを使った方法はこちら: https://qiita.com/yoshihiro503/items/88f6ba8c8429fc1b4f2a

概要

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作成