Diffusion FreeBSD ports repository f59e1f7db558

math/hs-Agda: update to 2.6.4.1
f59e1f7db558
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/hs-Agda: update to 2.6.4.1

Details

Provenance

awoonya <mzhyneva@gmail.com>	Authored on Feb 5 2024, 7:27 PM
arrowd	Committed on Feb 8 2024, 8:07 PM

Parents

R11:49f10e38b267: devel/llvm18: update to 18.1.0rc2

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed R11:f59e1f7db558: math/hs-Agda: update to 2.6.4.1 (authored by awoonya <mzhyneva@gmail.com>).Feb 8 2024, 8:07 PM

Changes (5)

Path

Size

math/

hs-Agda/

patch-src_data_emacs-mode_agda2-mode.el

	math/	hs-Agda/
	textproc/	hs-yaml/

R11:f59e1f7db558

math/hs-Agda/Makefile

Loading...

math/hs-Agda/distinfo

Loading...

math/hs-Agda/files

Loading...

math/hs-Agda/files/patch-src_data_emacs-mode_agda2-mode.el

Loading...

math/hs-Agda/pkg-plist

Loading...