rocq-stdlib 9.0.0-1
| アーキテクチャ: | any |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | rocq-stdlib |
| 説明: | Stdlib for the Rocq Prover |
| 上流 URL: | https://rocq-prover.org/ |
| ライセンス: | LGPL-2.1-only |
| パッケージ容量: | 22.9 MB |
| インストール容量: | 77.5 MB |
| パッケージ作成者: | Carl Smedstad |
| 最終更新: | 2025-11-17 06:52:10 JST |
依存パッケージ (7)
- rocq
- dune (ビルド)
- ocaml (ビルド)
- ocaml-compiler-libs (ビルド)
- ocaml-findlib (ビルド)
- ocaml-zarith (ビルド)
- pango (ビルド)