https://bugzilla.redhat.com/show_bug.cgi?id=839260
--- Comment #2 from Jens Petersen <[email protected]> --- A simple usage example: $ ls -l stdlib lrwxrwxrwx. 1 petersen petersen 23 Jul 11 15:46 stdlib -> /usr/lib64/Agda-stdlib/ $ cat test.agda module test where open import IO main = run (putStrLn "Hello world!") $ agda -c -i. -istdlib test.agda : : [91 of 91] Compiling MAlonzo.Code.Qtest ( /home/petersen/pkgreview/Agda/test/MAlonzo/Code/Qtest.hs, /home/petersen/pkgreview/Agda/test/MAlonzo/Code/Qtest.o ) $ ./test Hello world! $ -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ package-review mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-review
