August 2012 - haskell-devel - Fedora Mailing-Lists

[Fedora-haskell-list] [Bug 703152] New: Review Request: ghc-rosezipper - Generic zipper implementation for Haskell

by Red Hat Bugzilla

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.

11 years, 3 months

1
19
0 / 0

[Bug 710383] Review Request: Agda - Commandline for dependently typed functional language

by Red Hat Bugzilla

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.

11 years, 4 months

1
0
0 / 0

[Bug 710383] Review Request: Agda - Commandline for dependently typed functional language

by Red Hat Bugzilla

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.

11 years, 4 months

1
0
0 / 0

[Bug 828735] Review Request: ghc-numbers - Instances of the numerical classes for a variety of different numbers

by Red Hat Bugzilla

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.

11 years, 4 months

1
0
0 / 0

[Bug 831092] Review Request: ghc-readline - A Haskell interface to the GNU readline library

by Red Hat Bugzilla

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.

11 years, 4 months

1
0
0 / 0

[Bug 831092] Review Request: ghc-readline - A Haskell interface to the GNU readline library

by Red Hat Bugzilla

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.

11 years, 4 months

1
0
0 / 0

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

haskell-devel August 2012