haskell-devel August 2012

haskell-devel@lists.fedoraproject.org

1 participants
106 discussions

[Fedora-haskell-list] [Bug 703152] New: Review Request: ghc-rosezipper - Generic zipper implementation for Haskell
by Red Hat Bugzilla 05 Aug '12

05 Aug '12

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Review Request: ghc-rosezipper - Generic zipper implementation for Haskell https://bugzilla.redhat.com/show_bug.cgi?id=703152 Summary: Review Request: ghc-rosezipper - Generic zipper implementation for Haskell Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: medium Component: Package Review AssignedTo: nobody(a)fedoraproject.org ReportedBy: lakshminaras2002(a)gmail.com QAContact: extras-qa(a)fedoraproject.org CC: notting(a)redhat.com, fedora-package-review(a)redhat.com, fedora-haskell-list(a)redhat.com Classification: Fedora Story Points: --- This package is required for yi (a text editor). -- 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.

1 19

[Bug 710383] Review Request: Agda - Commandline for dependently typed functional language
by Red Hat Bugzilla 02 Aug '12

02 Aug '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 --- Comment #14 from Fedora Update System <updates(a)fedoraproject.org> --- Agda-2.3.0.1-1.fc16 has been pushed to the Fedora 16 stable repository. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 710383] Review Request: Agda - Commandline for dependently typed functional language
by Red Hat Bugzilla 02 Aug '12

02 Aug '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 Fedora Update System <updates(a)fedoraproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Resolution|--- |ERRATA Last Closed| |2012-08-02 07:21:49 --- Comment #13 from Fedora Update System <updates(a)fedoraproject.org> --- Agda-2.3.0.1-1.fc17 has been pushed to the Fedora 17 stable repository. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 828735] Review Request: ghc-numbers - Instances of the numerical classes for a variety of different numbers
by Red Hat Bugzilla 01 Aug '12

01 Aug '12

https://bugzilla.redhat.com/show_bug.cgi?id=828735 Fedora Update System <updates(a)fedoraproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|MODIFIED |ON_QA --- Comment #7 from Fedora Update System <updates(a)fedoraproject.org> --- ghc-numbers-3000.0.0.0-2.fc17 has been pushed to the Fedora 17 testing repository. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 831092] Review Request: ghc-readline - A Haskell interface to the GNU readline library
by Red Hat Bugzilla 01 Aug '12

01 Aug '12

https://bugzilla.redhat.com/show_bug.cgi?id=831092 --- Comment #9 from Fedora Update System <updates(a)fedoraproject.org> --- ghc-readline-1.0.1.0-1.fc17 has been pushed to the Fedora 17 stable repository. If problems still persist, please make note of it in this bug report. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 831092] Review Request: ghc-readline - A Haskell interface to the GNU readline library
by Red Hat Bugzilla 01 Aug '12

01 Aug '12

https://bugzilla.redhat.com/show_bug.cgi?id=831092 Fedora Update System <updates(a)fedoraproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Resolution|--- |ERRATA Last Closed| |2012-08-01 14:16:11 --- Comment #8 from Fedora Update System <updates(a)fedoraproject.org> --- ghc-readline-1.0.1.0-1.fc16 has been pushed to the Fedora 16 stable repository. If problems still persist, please make note of it in this bug report. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

haskell-devel August 2012