https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #2 from Jens Petersen <petersen@xxxxxxxxxx> --- 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 package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review