rocq 9.1.0-1
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | rocq |
| 説明: | Interactive theorem prover, or proof assistant |
| 上流 URL: | https://rocq-prover.org/ |
| ライセンス: | LGPL-2.1-or-later |
| 提供: | |
| 置換パッケージ: | |
| 衝突パッケージ: | |
| パッケージ容量: | 147.9 MB |
| インストール容量: | 379.1 MB |
| パッケージ作成者: | Carl Smedstad |
| 最終更新: | 2025-10-15 09:14:23 JST |
依存パッケージ (19)
- glibc
- gmp
- ocaml
- ocaml-findlib
- cairo (ビルド)
- dune (ビルド)
- fontconfig (ビルド)
- freetype2 (ビルド)
- gdk-pixbuf2 (ビルド)
- glib2 (ビルド)
- glibc (ビルド)
- gmp (ビルド)
- gtk3 (ビルド)
- gtksourceview3 (ビルド)
- lablgtk3 (ビルド)
- ocaml (ビルド)
- ocaml-findlib (ビルド)
- ocaml-zarith (ビルド)
- pango (ビルド)