Why does the port with USES=cabal and USE_CABAL= fail with unknown dependencies?

[Yuri]

I'm trying to port this project: https://github.com/GaloisInc/cryptol

However, it still downloads dependencies during the local build, and 
fails in poudriere:

Warning: No remote package servers have been specified. Usually you 
would have
one specified in the config file.
Resolving dependencies...
cabal: Could not resolve dependencies:
[__0] trying: FloatingHex-0.4 (user goal)
[__1] trying: base-4.12.0.0/installed-4.1... (dependency of FloatingHex)
[__2] next goal: cryptohash-sha1 (user goal)
[__2] rejecting: cryptohash-sha1-0.11.100.1 (conflict:
base==4.12.0.0/installed-4.1..., cryptohash-sha1 => base>=4.5 && <4.10)
[__2] fail (backjumping, conflict set: base, cryptohash-sha1)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: FloatingHex, base, cryptohash-sha1


For example, FloatingHex-0.4 is in USE_CABAL but it still downloads it.

How to correct this?


Thank you,

Yuri


-------Makefile-------

PORTNAME=    cryptol
DISTVERSION=    2.8.0
CATEGORIES=    security lang haskell

MAINTAINER=    yuri at FreeBSD.org
COMMENT=    Language of cryptography

LICENSE=    BSD3CLAUSE

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 \
         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 \
         panic-0.4.0.1 \
         primitive-0.7.0.0 \
         random-1.1 \
         sbv-8.6 \
         simple-smt-0.9.4 \
         splitmix-0.0.3 \
         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

EXECUTABLES=    ${PORTNAME}

PLIST_FILES=    bin/${PORTNAME}

.include <bsd.port.mk>