Diffusion FreeBSD ports repository f4a961f81b11

math/hs-Agda: Update to 2.6.2
f4a961f81b11
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/hs-Agda: Update to 2.6.2

Details

Provenance

Alexis Praga <alexis.praga@free.fr>	Authored on Oct 1 2021, 5:53 PM
arrowd	Committed on Oct 22 2021, 2:25 PM

Parents

R11:22180963283a: games/cavezofphear: re-add port: Boulder Dash / Digger-like game for…

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed R11:f4a961f81b11: math/hs-Agda: Update to 2.6.2 (authored by Alexis Praga <alexis.praga@free.fr>).Oct 22 2021, 2:25 PM

Changes (3)

Path

Size

math/

hs-Agda/

R11:f4a961f81b11

math/hs-Agda/Makefile

Loading...

math/hs-Agda/distinfo

Loading...

math/hs-Agda/pkg-plist

Loading...