https://bugzilla.redhat.com/show_bug.cgi?id=710383 --- Comment #3 from Shakthi Kannan <shakthimaan@xxxxxxxxx> --- Even though the hackage page doesn't mention it, the Agda stdlib are required for Agda-executable: http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary These need to be made available for use with the command line tool. For example, in the following example the IO module is provided by the Agda stdlib: === TEST CODE === open import IO main : _ main = run (putStrLn "Hello world!") === END === Gentoo (for example) has an ebuild for the same: http://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo-x86/sci-mathematics/agda-stdlib/ -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review