Diffusion FreeBSD ports repository 527e6c404244

math/hs-Agda: Update to 2.6.4.3
527e6c404244
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/hs-Agda: Update to 2.6.4.3

Details

Provenance

Andrey Korobkov <alster@vinterdalen.se>	Authored on Mar 16 2024, 11:36 AM
arrowd	Committed on Mar 16 2024, 11:51 AM

Parents

R11:b7da7337db56: mail/mailutils: Add runtest to TEST_DEPENDS

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed R11:527e6c404244: math/hs-Agda: Update to 2.6.4.3 (authored by Andrey Korobkov <alster@vinterdalen.se>).Mar 16 2024, 11:51 AM

Changes (2)

Path

Size

math/

hs-Agda/

R11:527e6c404244

math/hs-Agda/Makefile

Loading...

math/hs-Agda/distinfo

Loading...