pho eda754ca5a Bump all Haskell packages after enabling "split sections" in mk/haskell.mk		2022-02-26 03:57:43 +00:00
..
patches	Update to idris-1.3.4	2022-02-12 07:13:35 +00:00
buildlink3.mk	Bump all Haskell packages after enabling "split sections" in mk/haskell.mk	2022-02-26 03:57:43 +00:00
DESCR
distinfo	Update to idris-1.3.4	2022-02-12 07:13:35 +00:00
Makefile	Bump all Haskell packages after enabling "split sections" in mk/haskell.mk	2022-02-26 03:57:43 +00:00
options.mk
PLIST