[Bug 710383] New: Review Request: Agda - Commandline for dependently typed functional language
bugzilla at redhat.com
bugzilla at redhat.com
Fri Jun 3 09:28:21 UTC 2011
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: Agda - Commandline for dependently typed functional language
https://bugzilla.redhat.com/show_bug.cgi?id=710383
Summary: Review Request: Agda - Commandline for dependently
typed functional language
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: medium
Component: Package Review
AssignedTo: nobody at fedoraproject.org
ReportedBy: petersen at redhat.com
QAContact: extras-qa at fedoraproject.org
CC: notting at redhat.com, fedora-package-review at redhat.com
Estimated Hours: 0.0
Classification: Fedora
Story Points: ---
Spec URL: http://petersen.fedorapeople.org/Agda/Agda.spec
SRPM URL: http://petersen.fedorapeople.org/Agda/Agda-2.2.10-1.fc15.src.rpm
Description:
Commandline wrapper for the Agda dependently typed
functional programming language.
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
More information about the package-review
mailing list