Changeset View
Changeset View
Standalone View
Standalone View
head/math/stp/Makefile
# Created by: Li-Wen Hsu <lwhsu@FreeBSD.org> | # Created by: Li-Wen Hsu <lwhsu@FreeBSD.org> | ||||
# $FreeBSD$ | # $FreeBSD$ | ||||
PORTNAME= stp | PORTNAME= stp | ||||
DISTVERSION= 2.3.3 | DISTVERSION= 2.3.3 | ||||
PORTREVISION= 2 | PORTREVISION= 3 | ||||
PORTEPOCH= 1 | PORTEPOCH= 1 | ||||
CATEGORIES= math | CATEGORIES= math | ||||
MAINTAINER= arrowd@FreeBSD.org | MAINTAINER= arrowd@FreeBSD.org | ||||
COMMENT= Decision Procedure for Bitvectors and Arrays | COMMENT= Decision Procedure for Bitvectors and Arrays | ||||
LICENSE= MIT | LICENSE= MIT | ||||
LICENSE_FILE= ${WRKSRC}/LICENSE | LICENSE_FILE= ${WRKSRC}/LICENSE | ||||
Show All 13 Lines |