https://bugzilla.redhat.com/show_bug.cgi?id=710383 --- Comment #4 from Jens Petersen <petersen@xxxxxxxxxx> --- Yeah it would be good to add the stdlib too. I have a draft package of it though Agda doesn't have proper packaging conventions yet. Actually Agda is needed to compile stdlib (at least to generate the interface files) so I think this package will still come before Agda-stdlib even if it is not very useful without it. Also I verified that Agda doesn't seem to need ghc-Agda-devel: it is dynamically linked to ghc-Agda anyway. I think the example above does not compile with Agda-2.3? but the example from http://strugglingthroughproblems.blogspot.in/2012/03/agda-as-programming-language-hello.html you found might with stdlib-0.6. -- 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