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 | ||||
PORTVERSION= 1436 | PORTVERSION= 1436 | ||||
PORTREVISION= 5 | PORTREVISION= 6 | ||||
CATEGORIES= math | CATEGORIES= math | ||||
MASTER_SITES= http://intara.arrowdodger.ru/ | MASTER_SITES= http://intara.arrowdodger.ru/ | ||||
MAINTAINER= 6yearold@gmail.com | MAINTAINER= 6yearold@gmail.com | ||||
COMMENT= Decision Procedure for Bitvectors and Arrays | COMMENT= Decision Procedure for Bitvectors and Arrays | ||||
LICENSE= MIT | LICENSE= MIT | ||||
Show All 10 Lines |