coq 8.20.1-2
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | coq |
| 説明: | 形式的証明支援システム |
| 上流 URL: | https://coq.inria.fr/ |
| ライセンス: | LGPL-2.1-or-later |
| グループ: | coq |
| 置換パッケージ: | |
| 衝突パッケージ: | |
| パッケージ容量: | 202.2 MB |
| インストール容量: | 561.8 MB |
| パッケージ作成者: | Juergen Hoetzel |
| 最終更新: | 2025-01-21 05:30:13 JST |
依存パッケージ (30)
- ocaml
- ocaml-findlib
- coqide (任意)
- coq-doc (任意)
- coin-or-csdp (任意)
- ocaml-num (ビルド)
- ocaml-zarith (ビルド)
- gtk3 (ビルド)
- gtksourceview3 (ビルド)
- dune (ビルド)
- git (ビルド)
- lablgtk3 (ビルド)
- gendesk (ビルド)
- texlive-bin (ビルド)
- texlive-latexextra (ビルド)
- texlive-pictures (ビルド)
- texlive-fontsextra (ビルド)
- texlive-mathscience (ビルド)
- texlive-binextra (ビルド)
- fig2dev (ビルド)
- imagemagick (ビルド)
- hevea (ビルド)
- ghostscript (ビルド)
- python (ビルド)
- python-sphinx (ビルド)
- python-sphinx_rtd_theme (ビルド)
- python-pexpect (ビルド)
- python-beautifulsoup4 (ビルド)
- python-sphinxcontrib-bibtex (ビルド)
- antlr4 (ビルド)