pkgsrc/lang/idris
2021-05-03 19:00:52 +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 Update to idris-1.3.3 2021-04-25 11:39:03 +00:00
Makefile *: Bump PKGREVISION for ghc-9.0.1 2021-05-03 19:00:52 +00:00
options.mk
PLIST Update to idris-1.3.3 2021-04-25 11:39:03 +00:00