[Bug 710383] Review Request: Agda - Commandline for dependently typed functional language - haskell-devel - Fedora mailing-lists

15 Jun 2012


      https://bugzilla.redhat.com/show_bug.cgi?id=710383
Jens Petersen petersen@redhat.com changed:
What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dwmw2@infradead.org
          Component|Package Review              |0xFFFF
         Whiteboard|NotReady                    |
--- Comment #1 from Jens Petersen petersen@redhat.com ---
Needs to be updated to Agda 2.3
-- 
You are receiving this mail because:
You are on the CC list for the bug.