Gleb Popov 411d5d46d6 math/hs-Agda: Fix build with new GHC. ... Reported by: pkg-fallout		2020-08-23 15:57:48 +00:00
..
files	math/hs-Agda: Fix build with new GHC.	2020-08-23 15:57:48 +00:00
distinfo	lang/ghc: Update to 8.10.1.	2020-08-16 07:56:18 +00:00
Makefile	math/hs-Agda: Fix build with new GHC.	2020-08-23 15:57:48 +00:00
pkg-descr
pkg-plist	math/hs-Agda: Do not compile Emacs mode files, because they are incompatible	2020-08-19 12:27:36 +00:00