pkgsrc/lang/idris
2022-02-26 12:35:11 +00:00
..
patches lang/idris: Link idris with static Haskell libraries 2022-02-26 08:07:37 +00:00
DESCR
distinfo lang/idris: Link idris with static Haskell libraries 2022-02-26 08:07:37 +00:00
Makefile *: Bump packages that depend on devel/hs-fsnotify 2022-02-26 12:35:11 +00:00
options.mk
PLIST lang/idris: Link idris with static Haskell libraries 2022-02-26 08:07:37 +00:00