https://bugzilla.redhat.com/show_bug.cgi?id=710383 --- Comment #5 from Jens Petersen <petersen@xxxxxxxxxx> --- A small example of usage: $ cat test.agda module test where data Bool : Set where true : Bool false : Bool $ agda test.agda Checking test (/home/petersen/pkgreview/Agda/test/test.agda). Finished test. $ -- 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