Diffusion FreeBSD ports repository 89654d1f64f1

math/hs-Agda: Update to 2.7.0
89654d1f64f1
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/hs-Agda: Update to 2.7.0

Details

Provenance

Älven <alster@vinterdalen.se>	Authored on Aug 21 2024, 8:59 AM
arrowd	Committed on Aug 21 2024, 9:32 AM

Parents

R11:27fcd0fff5c9: misc/p5-Business-ISBN-Data: update to 20240821.001

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed R11:89654d1f64f1: math/hs-Agda: Update to 2.7.0 (authored by Älven <alster@vinterdalen.se>).Aug 21 2024, 9:32 AM

Changes (3)

Path

Size

math/

hs-Agda/

	math/	hs-Agda/
	devel/	hs-hpack/

R11:89654d1f64f1

math/hs-Agda/Makefile

Loading...

math/hs-Agda/distinfo

Loading...

math/hs-Agda/pkg-descr

Loading...