Diffusion FreeBSD ports repository rP566875

math/hs-Agda: Update to 2.6.1.3
rP566875
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/hs-Agda: Update to 2.6.1.3

Details

Provenance

Authored on

Parents

rP566874: science/dakota: Fix build on i386

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed rP566875: math/hs-Agda: Update to 2.6.1.3.Mar 1 2021, 6:13 PM

Changes (4)

Path

Size

head/

math/

hs-Agda/

patch-Agda.cabal

rP566875

head/math/hs-Agda/Makefile

Loading...

head/math/hs-Agda/distinfo

Loading...

head/math/hs-Agda/files/

Loading...

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

Loading...