mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-10 07:04:03 +00:00
0e32330f15
Chase the devel/libffi update Bump portrevision of all dependent ports to chace shard library version bump in libffi. Update LIB_DEPENDS lines where needed to not require a specific version of libffi.so. PR: 247028 (for tracking)
51 lines
964 B
Makefile
51 lines
964 B
Makefile
# $FreeBSD$
|
|
|
|
PORTNAME= cryptol
|
|
DISTVERSION= 2.8.0
|
|
PORTREVISION= 2
|
|
CATEGORIES= security lang haskell
|
|
|
|
MAINTAINER= yuri@FreeBSD.org
|
|
COMMENT= Language of cryptography
|
|
|
|
LICENSE= BSD3CLAUSE
|
|
LICENSE_FILE= ${WRKSRC}/LICENSE
|
|
|
|
USES= cabal
|
|
|
|
USE_CABAL= FloatingHex-0.4 \
|
|
GraphSCC-1.0.4 \
|
|
QuickCheck-2.13.2 \
|
|
alex-3.2.5 \
|
|
ansi-terminal-0.10.3 \
|
|
async-2.2.2 \
|
|
base-compat-0.10.5 \
|
|
base-orphans-0.8.2 \
|
|
blaze-builder-0.4.1.0 \
|
|
blaze-html-0.9.1.2 \
|
|
blaze-markup-0.8.2.3 \
|
|
colour-2.3.5 \
|
|
crackNum-2.3 \
|
|
cryptohash-sha1-0.11.100.1_4 \
|
|
generic-deriving-1.13.1 \
|
|
gitrev-1.3.1 \
|
|
happy-1.19.12 \
|
|
hashable-1.3.0.0 \
|
|
heredoc-0.2.0.0 \
|
|
monad-control-1.0.2.3 \
|
|
monadLib-3.10_1 \
|
|
panic-0.4.0.1 \
|
|
primitive-0.7.0.1 \
|
|
random-1.1_1 \
|
|
sbv-8.6 \
|
|
simple-smt-0.9.4_1 \
|
|
splitmix-0.0.4 \
|
|
strict-0.3.2 \
|
|
syb-0.7.1 \
|
|
tf-random-0.5 \
|
|
th-abstraction-0.3.2.0 \
|
|
transformers-base-0.4.5.2 \
|
|
transformers-compat-0.6.5
|
|
|
|
.include <bsd.port.mk>
|