Diffusion FreeBSD ports repository c6648c8fd876

math/hs-Agda: Fix building after the GHC upgrade
c6648c8fd876
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/hs-Agda: Fix building after the GHC upgrade

Details

Provenance

Authored on Fri, Dec 26, 7:50 PM

Parents

R11:f66ba2ccbb0d: x11/conlecterm: Fix building after the GHC upgrade

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed R11:c6648c8fd876: math/hs-Agda: Fix building after the GHC upgrade (authored by arrowd).Sun, Jan 4, 9:50 PM

Changes (2)

Path

Size

math/

hs-Agda/

R11:c6648c8fd876

math/hs-Agda/Makefile

Loading...

math/hs-Agda/distinfo

Loading...