| Port details on branch 2022Q3 |
- proofgeneral Generic interface for proof assistants
- 4.1_15 math
 =0      4.1_15Version of this port present on the latest quarterly branch.  BROKEN: unfetchable
 DEPRECATED: Broken for more than 6 months
 This port expired on: 2020-05-05
 IGNORE: is marked as broken: unfetchable
- Maintainer: beyert@cs.ucr.edu
- Port Added: 2005-08-31 10:37:19
- Last Update: 2020-05-05 15:38:12
- SVN Revision: 534093
- Also Listed In: elisp
- License: GPLv2
- WWW:
- http://proofgeneral.inf.ed.ac.uk
- Description:
- Proof General is a generic interface for proof assistants, currently
based on the customizable text editor Emacs. It works with either
XEmacs or GNU Emacs. A new Eclipse-based version is in development.
This is described separately at http://proofgeneral.inf.ed.ac.uk/kit/wiki.
Proof General has been developed at the LFCS in the University of
Edinburgh. It is distributed under the conditions of the GNU General
Public License.
There is a mailing list:
http://proofgeneral.inf.ed.ac.uk/mailinglist
WWW: http://proofgeneral.inf.ed.ac.uk
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- proofgeneral-emacs26>0:math/proofgeneral
- No installation instructions:
- This port has been deleted.
- PKGNAME: proofgeneral-emacs26
- Package flavors (<flavor>: <package>)
- full: proofgeneral-emacs26
- canna: proofgeneral-emacs26_canna
- devel_full: proofgeneral-emacs28
- distinfo:
- SHA256 (ProofGeneral-4.1.tgz) = 2a264d46b48185cf1a6ebcca958e59171ea670fb0fc82ba46b8e1d6918ea7dc7
SIZE (ProofGeneral-4.1.tgz) = 1428499
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- bash : shells/bash
- texi2html : textproc/texi2html
- emacs-26.3 : editors/emacs@full
- gmake : devel/gmake
- gtk-update-icon-cache : graphics/gtk-update-icon-cache
- perl5>=5.30.r1<5.31 : lang/perl5.30
- Runtime dependencies:
-
- index.theme : misc/hicolor-icon-theme
- emacs-26.3 : editors/emacs@full
- gtk-update-icon-cache : graphics/gtk-update-icon-cache
- perl5>=5.30.r1<5.31 : lang/perl5.30
- indexinfo : print/indexinfo
- Library dependencies:
-
- libatk-1.0.so : accessibility/atk
- libgdk_pixbuf-2.0.so : graphics/gdk-pixbuf2
- libglib-2.0.so : devel/glib20
- libintl.so : devel/gettext-runtime
- libpango-1.0.so : x11-toolkits/pango
- There are no ports dependent upon this port
Configuration Options:- ===> The following configuration options are available for proofgeneral-emacs26-4.1_15:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- N/A
- USES:
- emacs gmake gnome perl5 shebangfix tar:tgz
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
As an Amazon Associate I earn from qualifying purchases.