Changeset View
Changeset View
Standalone View
Standalone View
head/math/cryptominisat/Makefile
# $FreeBSD$ | # $FreeBSD$ | ||||
PORTNAME= cryptominisat | PORTNAME= cryptominisat | ||||
DISTVERSION= 5.6.8 | DISTVERSION= 5.6.8 | ||||
PORTREVISION= 2 | PORTREVISION= 3 | ||||
CATEGORIES= math | CATEGORIES= math | ||||
MAINTAINER= arrowd@FreeBSD.org | MAINTAINER= arrowd@FreeBSD.org | ||||
COMMENT= General-purpose award-winning SAT solver | COMMENT= General-purpose award-winning SAT solver | ||||
LICENSE= MIT LGPL21 | LICENSE= MIT LGPL21 | ||||
LICENSE_COMB= multi | LICENSE_COMB= multi | ||||
LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE.txt | LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE.txt | ||||
Show All 14 Lines |