Changeset View
Changeset View
Standalone View
Standalone View
head/math/proofgeneral/Makefile
| # Created by: Timothy Bourke <timbob@bigpond.com> | # Created by: Timothy Bourke <timbob@bigpond.com> | ||||
| # $FreeBSD$ | # $FreeBSD$ | ||||
| PORTNAME= proofgeneral | PORTNAME= proofgeneral | ||||
| PORTVERSION= 4.1 | PORTVERSION= 4.1 | ||||
| PORTREVISION= 14 | PORTREVISION= 15 | ||||
| CATEGORIES= math elisp | CATEGORIES= math elisp | ||||
| MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ | MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ | ||||
| PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} | PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} | ||||
| DISTNAME= ProofGeneral-${PORTVERSION} | DISTNAME= ProofGeneral-${PORTVERSION} | ||||
| MAINTAINER= beyert@cs.ucr.edu | MAINTAINER= beyert@cs.ucr.edu | ||||
| COMMENT= Generic interface for proof assistants | COMMENT= Generic interface for proof assistants | ||||
| ▲ Show 20 Lines • Show All 67 Lines • Show Last 20 Lines | |||||