Diffusion FreeBSD ports repository rP545826

math/hs-Agda: Fix build with new GHC.
rP545826
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/hs-Agda: Fix build with new GHC.

Reported by: pkg-fallout

Details

Provenance

Authored on

Parents

rP545825: - Fix a build breakage when -fno-common is specified.

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed rP545826: math/hs-Agda: Fix build with new GHC..Aug 23 2020, 3:57 PM

Changes (3)

Path

Size

head/

math/

hs-Agda/

patch-Agda.cabal

rP545826

head/math/hs-Agda/Makefile

Loading...

head/math/hs-Agda/files/

Loading...

head/math/hs-Agda/files/patch-Agda.cabal

Loading...