Diffusion FreeBSD ports repository rP504134

math/hs-Agda: Update to latest version and unbreak.
rP504134
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/hs-Agda: Update to latest version and unbreak.

Approved by: tcberner (mentor, implicit)

Details

Provenance

Authored on

Parents

rP504133: MFH: r504076

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed rP504134: math/hs-Agda: Update to latest version and unbreak..Jun 13 2019, 6:51 PM

Changes (6)

Path

Size

head/

math/

hs-Agda/

pkg-deinstall.in

rP504134

head/math/hs-Agda/Makefile

Loading...

head/math/hs-Agda/distinfo

Loading...

head/math/hs-Agda/files/

Loading...

head/math/hs-Agda/files/pkg-deinstall.in

Loading...

head/math/hs-Agda/files/pkg-install.in

Loading...

head/math/hs-Agda/pkg-plist

Loading...