coqide 8.20.1-2
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | coq |
| 説明: | Coq 証明アシスタントの GTK ベースのグラフィカルインターフェイス |
| 上流 URL: | https://coq.inria.fr/ |
| ライセンス: | LGPL-2.1-or-later |
| グループ: | coq |
| パッケージ容量: | 2.3 MB |
| インストール容量: | 9.3 MB |
| パッケージ作成者: | Juergen Hoetzel |
| 最終更新: | 2025-01-21 05:30:13 JST |
依存パッケージ (30)
- ocaml
- ocaml-findlib
- coq
- gtk3
- gtksourceview3
- 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 (ビルド)
coqide を必要とするパッケージ (1)
- coq (任意)