https://bugzilla.redhat.com/show_bug.cgi?id=839260
Bug ID: 839260
QA Contact: [email protected]
Severity: medium
Version: rawhide
Priority: medium
CC: [email protected],
[email protected]
Assignee: [email protected]
Summary: Review Request: Agda-stdlib - Agda standard library
Regression: ---
Story Points: ---
Classification: Fedora
OS: Linux
Reporter: [email protected]
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
[email protected]
https://admin.fedoraproject.org/mailman/listinfo/package-review
