adam b6d9bd86bc revbump for icu and libffi		2021-12-08 16:01:42 +00:00
..
patches	Update to idris-1.3.3	2021-04-25 11:39:03 +00:00
buildlink3.mk	*: Bump PKGREVISION for ghc-9.0.1	2021-05-03 19:00:52 +00:00
DESCR
distinfo	lang: Replace RMD160 checksums with BLAKE2s checksums	2021-10-26 10:51:29 +00:00
Makefile	revbump for icu and libffi	2021-12-08 16:01:42 +00:00
options.mk
PLIST	Update to idris-1.3.3	2021-04-25 11:39:03 +00:00