Changeset View
Changeset View
Standalone View
Standalone View
math/cryptominisat/Makefile
# $FreeBSD$ | # $FreeBSD$ | ||||
PORTNAME= cryptominisat | PORTNAME= cryptominisat | ||||
DISTVERSION= 5.6.1 | DISTVERSION= 5.6.3 | ||||
PORTREVISION= 2 | |||||
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 16 Lines |