Gleb Popov b842a879db math/hs-Agda: Mark BROKEN on i386. There is a hope that the sutiation will improve ... in new GHC releases.		2020-08-31 10:58:30 +00:00
..
files	math/hs-Agda: Fix build with new GHC.	2020-08-23 15:57:48 +00:00
distinfo
Makefile	math/hs-Agda: Mark BROKEN on i386. There is a hope that the sutiation will improve	2020-08-31 10:58:30 +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