[ bullseye ] [ bookworm ] [ trixie ] [ sid ]

ソースパッケージ: proofgeneral (4.5-3)

proofgeneral に関するリンク

Debian の資源:

メンテナ:

外部の資源:

ホームページ [proofgeneral.github.io]

以下のバイナリパッケージがこのソースパッケージからビルドされています。

proofgeneral: 証明アシスタント用の汎用フロントエンド
proofgeneral-doc: generic frontend for proof assistants - documentation

その他の proofgeneral 関連パッケージ

構築依存	構築依存 (アーキテクチャ非依存)

adep: debhelper-compat (= 13)

パッケージは利用できません
adep: texinfo

オンライン情報および印刷出力のための文書システム
adep: texlive-latex-recommended

TeX Live: LaTeX recommended packages
adep: texlive-plain-generic

TeX Live: Plain (La)TeX packages
adep: texlive-fonts-recommended

TeX Live: Recommended fonts
adep: emacs

GNU Emacs エディタ (メタパッケージ)
以下のパッケージによって提供される仮想パッケージでもあります: emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk

または emacs-nox

GNU Emacs エディタ (GUI 対応無し)
adep: dh-elpa

Debian helper tools for packaging emacs lisp extensions

Download proofgeneral

ファイル	サイズ (単位: kB)	MD5 チェックサム
proofgeneral_4.5-3.dsc	2.1 kB	28f850a93f6dd9c2b67c9d15598a86a4
proofgeneral_4.5.orig.tar.gz	1,170.4 kB	7fc03264e924f8020e717cc4cff67197
proofgeneral_4.5-3.debian.tar.xz	17.0 kB	b4f539b38b2a0eb3d4c9fa7609266530

Debian パッケージソースリポジトリ (VCS: Git): https://salsa.debian.org/math-team/proofgeneral.git
Debian パッケージソースリポジトリ (ブラウザで表示可能): https://salsa.debian.org/math-team/proofgeneral