[Bug 710383] Review Request: Agda - Commandline for dependently typed functional language
https://bugzilla.redhat.com/show_bug.cgi?id=710383
Fedora Update System <updates@xxxxxxxxxxxxxxxxx> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|MODIFIED |ON_QA
--- Comment #12 from Fedora Update System <updates@xxxxxxxxxxxxxxxxx> ---
Agda-2.3.0.1-1.fc16 has been pushed to the Fedora 16 testing repository.
--
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
[Fedora Legacy]
[Fedora Desktop]
[Fedora SELinux]
[Yosemite News]
[Yosemite Photos]
[KDE Users]
[Fedora Tools]
