https://bugzilla.redhat.com/show_bug.cgi?id=839260 Bug ID: 839260 QA Contact: extras-qa@xxxxxxxxxxxxxxxxx Severity: medium Version: rawhide Priority: medium CC: notting@xxxxxxxxxx, package-review@xxxxxxxxxxxxxxxxxxxxxxx Assignee: nobody@xxxxxxxxxxxxxxxxx Summary: Review Request: Agda-stdlib - Agda standard library Regression: --- Story Points: --- Classification: Fedora OS: Linux Reporter: petersen@xxxxxxxxxx Type: --- Documentation: --- Hardware: All Mount Type: --- Status: NEW Component: Package Review Product: Fedora Spec URL: http://petersen.fedorapeople.org/reviews/Agda-stdlib/Agda-stdlib.spec SRPM URL: http://petersen.fedorapeople.org/reviews/Agda-stdlib/Agda-stdlib-0.6-3.fc17.src.rpm Description: Standard libraries for the Agda dependently typed language Fedora Account System Username: petersen -- 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