Changeset View
Changeset View
Standalone View
Standalone View
math/coq/Makefile
| PORTNAME= coq | PORTNAME= coq | ||||
| PORTVERSION= 8.19 | PORTVERSION= 8.19 | ||||
| PORTREVISION= 2 | PORTREVISION= 3 | ||||
| PORTEPOCH= 3 | PORTEPOCH= 3 | ||||
| CATEGORIES= math | CATEGORIES= math | ||||
| DISTVERSIONPREFIX= V | DISTVERSIONPREFIX= V | ||||
| DISTVERSIONSUFFIX= .0 | DISTVERSIONSUFFIX= .0 | ||||
| PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} | PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} | ||||
| MAINTAINER= hrs@FreeBSD.org | MAINTAINER= hrs@FreeBSD.org | ||||
| COMMENT= Theorem prover based on lambda-C | COMMENT= Theorem prover based on lambda-C | ||||
| ▲ Show 20 Lines • Show All 76 Lines • Show Last 20 Lines | |||||