» Ubuntu » Paquets » noble (24.04LTS) » Source » editors » proofgeneral

[ jammy ] [ noble ] [ questing ] [ resolute ] [ stonking ]

Paquet source : proofgeneral (4.5-1) [universe]

Liens pour proofgeneral

Ressources Ubuntu :

Responsable :

Ubuntu MOTU Developers (Archive du courrier électronique)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

Debian Math Team
Julien Puydt

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

Page d'accueil [proofgeneral.github.io]

Les paquets binaires suivants sont compilés à partir de ce paquet source :

proofgeneral: generic frontend for proof assistants
proofgeneral-doc: generic frontend for proof assistants - documentation

Autres paquets associés à proofgeneral

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Paquet indisponible
adep: texinfo

Documentation system for on-line information and printed output
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 editor (metapackage)
un paquet virtuel est également fourni par emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk

ou emacs-nox

GNU Emacs editor (without GUI support)
adep: dh-elpa

Debian helper tools for packaging emacs lisp extensions

Download proofgeneral

Fichier	Taille (en ko)	Somme MD5
proofgeneral_4.5-1.dsc	2,0 ko	dabeff72523dc0309a19cecd51e28867
proofgeneral_4.5.orig.tar.gz	1 170,4 ko	7fc03264e924f8020e717cc4cff67197
proofgeneral_4.5-1.debian.tar.xz	16,8 ko	714d5a5165863f4996d0a4234bc182f9