https://bugzilla.redhat.com/show_bug.cgi?id=710383
--- Comment #5 from Jens Petersen <[email protected]> --- 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 [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-review
