July 2012 - haskell-devel - Fedora mailing-lists

[Bug 630303] Review Request: yesod - Creation of type-safe, RESTful web applications
by Red Hat Bugzilla 21 Jul '12

21 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=630303 Bug 630303 depends on bug 630295, which changed state. Bug 630295 Summary: Review Request: ghc-web-routes-quasi - Data types and functions for web-routes https://bugzilla.redhat.com/show_bug.cgi?id=630295 What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |CLOSED Resolution|--- |NOTABUG -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 630295] Review Request: ghc-web-routes-quasi - Data types and functions for web-routes
by Red Hat Bugzilla 21 Jul '12

21 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=630295 Ben Boeckel <mathstuf(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |CLOSED Resolution|--- |NOTABUG Last Closed| |2012-07-21 13:34:01 --- Comment #3 from Ben Boeckel <mathstuf(a)gmail.com> --- No reverse deps anymore. Last update in Jan 2012. Closing. -- 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 21 Jul '12

21 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=831092 --- Comment #4 from Jon Ciesla <limburgher(a)gmail.com> --- Git done (by process-git-requests). No need to request f18 currently, it's devel at this point. -- 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 21 Jul '12

21 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=831092 Shakthi Kannan <shakthimaan(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RELEASE_PENDING Flags| |fedora-cvs? --- Comment #3 from Shakthi Kannan <shakthimaan(a)gmail.com> --- Thanks for the review. New Package SCM Request ======================= Package Name: ghc-readline Short Description: A Haskell interface to the GNU readline library Owners: shakthimaan Branches: f16 f17 f18 InitialCC: haskell-sig -- 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 21 Jul '12

21 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=831092 Lakshmi Narasimhan <lakshminaras2002(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Flags| |fedora-review+ --- Comment #2 from Lakshmi Narasimhan <lakshminaras2002(a)gmail.com> --- [+]MUST: rpmlint must be run on every package. The output should be posted in the review. rpmlint -i ghc-readline-1.0.1.0-1.fc16.src.rpm ghc-readline-1.0.1.0-1.fc16.x86_64.rpm ghc-readline-devel-1.0.1.0-1.fc16.x86_64.rpm ../ghc-readline.spec ghc-readline.src: W: spelling-error %description -l en_US csh -> sch, cs, ch The value of this tag appears to be misspelled. Please double-check. ghc-readline.x86_64: W: spelling-error %description -l en_US csh -> sch, cs, ch The value of this tag appears to be misspelled. Please double-check. ghc-readline-devel.x86_64: W: spelling-error %description -l en_US csh -> sch, cs, ch The value of this tag appears to be misspelled. Please double-check. 3 packages and 1 specfiles checked; 0 errors, 3 warnings. [+]MUST: The package must be named according to the Package Naming Guidelines. [+]MUST: The spec file name must match the base package %{name}, in the format %{name}.spec [+]MUST: The package must meet the Packaging Guidelines. Naming-Yes Version-release - Matches License - OK No prebuilt external bits - OK Spec legibity - OK Package template - OK Arch support - OK Libexecdir - OK rpmlint - yes changelogs - OK Source url tag - OK, validated. Build Requires list - OK Summary and description - OK API documentation - OK [+]MUST: The package must be licensed with a Fedora approved license and meet the Licensing Guidelines . [+]MUST: The License field in the package spec file must match the actual license. GPLv2 [+]MUST: If (and only if) the source package includes the text of the license(s) in its own file, then that file, containing the text of the license(s) for the package must be included in %doc. LICENSE file is included. [+]MUST: The spec file must be written in American English. [+]MUST: The spec file for the package MUST be legible. [+]MUST: The sources used to build the package must match the upstream source,as provided in the spec URL. Reviewers should use md5sum for this task. md5sum readline-1.0.1.0.tar.gz eade9576def53ed293628a2f8580007e readline-1.0.1.0.tar.gz md5sum readline-1.0.1.0.tar.gz eade9576def53ed293628a2f8580007e readline-1.0.1.0.tar.gz [+]MUST: The package MUST successfully compile and build into binary rpms on at least one primary architecture. Built on x86_64. [+]MUST: If the package does not successfully compile, build or work on an architecture, then those architectures should be listed in the spec in ExcludeArch. [+]MUST: All build dependencies must be listed in BuildRequires. [+]MUST: Packages must NOT bundle copies of system libraries. Checked with rpmquery --list [+]MUST: A package must own all directories that it creates. Checked with rpmquery --whatprovides [+]MUST: A Fedora package must not list a file more than once in the spec file's %files listings. [+]MUST: Permissions on files must be set properly. Checked with ls -lR [+]MUST: Each package must consistently use macros. [+]MUST: The package must contain code, or permissible content. [+]MUST: Large documentation files must go in a -doc subpackage. [+]MUST: If a package includes something as %doc, it must not affect the runtime of the application. [+]MUST: devel packages must require the base package using a fully versioned dependency: Requires: {name} = %{version}-%{release} Checked with rpm -e ghc-readline. [+]MUST: Packages must not own files or directories already owned by other packages. [+]MUST: All filenames in rpm packages must be valid UTF-8. Should items [+]SHOULD: If the source package does not include license text(s) as a separate file from upstream, the packager SHOULD query upstream to include it. [+]SHOULD: The reviewer should test that the package functions as described. Installed the packages. Loaded System.Console.Readline into ghci. Loads fine. [+]SHOULD: If scriptlets are used, those scriptlets must be sane. cabal2spec-diff is OK. APPROVED. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 662275] Review Request: hledger - A double-entry accounting tool
by Red Hat Bugzilla 20 Jul '12

20 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=662275 Fedora Update System <updates(a)fedoraproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Resolution|--- |ERRATA Last Closed| |2012-07-20 22:56:39 --- Comment #12 from Fedora Update System <updates(a)fedoraproject.org> --- hledger-0.17-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

[Fedora-haskell-list] [Bug 730542] New: ghc-cmdargs-0.8 is available
by Red Hat Bugzilla 20 Jul '12

20 Jul '12

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: ghc-cmdargs-0.8 is available https://bugzilla.redhat.com/show_bug.cgi?id=730542 Summary: ghc-cmdargs-0.8 is available Product: Fedora Version: rawhide Platform: Unspecified OS/Version: Unspecified Status: NEW Keywords: FutureFeature, Triaged Severity: unspecified Priority: unspecified Component: ghc-cmdargs AssignedTo: mathstuf(a)gmail.com ReportedBy: upstream-release-monitoring(a)fedoraproject.org QAContact: extras-qa(a)fedoraproject.org CC: mathstuf(a)gmail.com, fedora-haskell-list(a)redhat.com Classification: Fedora Story Points: --- Type: --- Latest upstream release: 0.8 Current version in Fedora Rawhide: 0.7 URL: http://hackage.haskell.org/packages/archive/cmdargs/ Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring -- 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 3

[Bug 788030] Tracker for Haskell singleton libraries
by Red Hat Bugzilla 20 Jul '12

20 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=788030 Bug 788030 depends on bug 783417, which changed state. Bug 783417 Summary: drop ghc-neither? https://bugzilla.redhat.com/show_bug.cgi?id=783417 What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |CLOSED Resolution|--- |RAWHIDE -- You are receiving this mail because: You are the assignee for the bug.

1 0

[Fedora-haskell-list] [Bug 783417] New: ghc-neither-0.3.0.1 is available
by Red Hat Bugzilla 20 Jul '12

20 Jul '12

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: ghc-neither-0.3.0.1 is available https://bugzilla.redhat.com/show_bug.cgi?id=783417 Summary: ghc-neither-0.3.0.1 is available Product: Fedora Version: rawhide Platform: Unspecified OS/Version: Unspecified Status: NEW Keywords: FutureFeature, Triaged Severity: unspecified Priority: unspecified Component: ghc-neither AssignedTo: mathstuf(a)gmail.com ReportedBy: upstream-release-monitoring(a)fedoraproject.org QAContact: extras-qa(a)fedoraproject.org CC: mathstuf(a)gmail.com, fedora-haskell-list(a)redhat.com Classification: Fedora Story Points: --- Type: --- Regression: --- Mount Type: --- Documentation: --- Latest upstream release: 0.3.0.1 Current version in Fedora Rawhide: 0.3.0 URL: http://hackage.haskell.org/packages/archive/neither/ Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring -- 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 7

[pkgdb] ghc-neither (un)retirement
by Fedora PackageDB 20 Jul '12

20 Jul '12

Package ghc-neither in Fedora devel has been retired by mathstuf To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-neither

1 0

[Bug 648099] Review Request: ghc-http-enumerator - Haskell http-enumerator
by Red Hat Bugzilla 20 Jul '12

20 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=648099 Ben Boeckel <mathstuf(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |CLOSED Resolution|--- |NOTABUG Last Closed| |2012-07-20 22:07:22 --- Comment #4 from Ben Boeckel <mathstuf(a)gmail.com> --- Upstream marked this as obsolete. Closing. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 648095] Review Request: ghc-HsOpenSSL - (Incomplete) OpenSSL binding for Haskell
by Red Hat Bugzilla 20 Jul '12

20 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=648095 Ben Boeckel <mathstuf(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |CLOSED Resolution|--- |NOTABUG Last Closed| |2012-07-20 22:06:44 --- Comment #4 from Ben Boeckel <mathstuf(a)gmail.com> --- The tls package is recommended as the replacement for this package. Closing (we should urge upstreams that still use this to move to tls since upstream recommends it instead). -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 630267] Review Request: ghc-data-object-json - Serialize JSON data using the data-object library
by Red Hat Bugzilla 20 Jul '12

20 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=630267 Ben Boeckel <mathstuf(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|WONTFIX |NOTABUG --- Comment #4 from Ben Boeckel <mathstuf(a)gmail.com> --- Upstream has marked this as obsolete. Changing to NOTABUG. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 630267] Review Request: ghc-data-object-json - Serialize JSON data using the data-object library
by Red Hat Bugzilla 20 Jul '12

20 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=630267 Bug 630267 depends on bug 630258, which changed state. Bug 630258 Summary: Review Request: ghc-data-object - Represent hierarchical structures https://bugzilla.redhat.com/show_bug.cgi?id=630258 What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |CLOSED Resolution|--- |NOTABUG -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 630258] Review Request: ghc-data-object - Represent hierarchical structures
by Red Hat Bugzilla 20 Jul '12

20 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=630258 Ben Boeckel <mathstuf(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |CLOSED Resolution|--- |NOTABUG Last Closed| |2012-07-20 22:03:20 --- Comment #3 from Ben Boeckel <mathstuf(a)gmail.com> --- Upstream has marked this as obsolete (aeson is the replacement). Closing. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 630267] Review Request: ghc-data-object-json - Serialize JSON data using the data-object library
by Red Hat Bugzilla 20 Jul '12

20 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=630267 Bug 630267 depends on bug 630227, which changed state. Bug 630227 Summary: Review Request: ghc-convertible-text - Typeclasses and instances for converting between types https://bugzilla.redhat.com/show_bug.cgi?id=630227 What |Removed |Added ---------------------------------------------------------------------------- Status|MODIFIED |CLOSED Resolution|--- |NOTABUG -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 630227] Review Request: ghc-convertible-text - Typeclasses and instances for converting between types
by Red Hat Bugzilla 20 Jul '12

20 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=630227 Ben Boeckel <mathstuf(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|MODIFIED |CLOSED Resolution|--- |NOTABUG Flags|needinfo?(mathstuf(a)gmail.co | |m) | Last Closed| |2012-07-20 22:01:31 --- Comment #15 from Ben Boeckel <mathstuf(a)gmail.com> --- This is marked as obsolete on Hackage. Closing. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 841753] Review Request: ghc-IOSpec - A pure specification of the IO monad
by Red Hat Bugzilla 20 Jul '12

20 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=841753 Shakthi Kannan <shakthimaan(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |haskell-devel(a)lists.fedorap | |roject.org --- Comment #1 from Shakthi Kannan <shakthimaan(a)gmail.com> --- $ rpmlint ghc-IOSpec.spec 0 packages and 1 specfiles checked; 0 errors, 0 warnings. $ rpmlint ghc-IOSpec-0.2.5-1.fc16.src.rpm ghc-IOSpec.src: W: spelling-error Summary(en_US) monad -> nomad, gonad, Mona ghc-IOSpec.src: W: spelling-error %description -l en_US monad -> nomad, gonad, Mona 1 packages and 0 specfiles checked; 0 errors, 2 warnings. $ rpmlint ghc-IOSpec-0.2.5-1.fc16.x86_64.rpm ghc-IOSpec.x86_64: W: spelling-error Summary(en_US) monad -> nomad, gonad, Mona ghc-IOSpec.x86_64: W: spelling-error %description -l en_US monad -> nomad, gonad, Mona 1 packages and 0 specfiles checked; 0 errors, 2 warnings. $ rpmlint ghc-IOSpec-devel-0.2.5-1.fc16.x86_64.rpm ghc-IOSpec-devel.x86_64: W: spelling-error Summary(en_US) monad -> nomad, gonad, Mona ghc-IOSpec-devel.x86_64: W: spelling-error %description -l en_US monad -> nomad, gonad, Mona 1 packages and 0 specfiles checked; 0 errors, 2 warnings. Successful Koji builds for F16, F17 and F18 respectively: http://koji.fedoraproject.org/koji/taskinfo?taskID=4275925 http://koji.fedoraproject.org/koji/taskinfo?taskID=4275927 http://koji.fedoraproject.org/koji/taskinfo?taskID=4275931 -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 841746] Review Request: ghc-arrows - Classes that extend the Arrow class
by Red Hat Bugzilla 19 Jul '12

19 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=841746 Shakthi Kannan <shakthimaan(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |haskell-devel(a)lists.fedorap | |roject.org --- Comment #1 from Shakthi Kannan <shakthimaan(a)gmail.com> --- $ rpmlint ghc-arrows.spec 0 packages and 1 specfiles checked; 0 errors, 0 warnings. $ rpmlint ghc-arrows-0.4.4.0-1.fc16.src.rpm 1 packages and 0 specfiles checked; 0 errors, 0 warnings. $ rpmlint ghc-arrows-0.4.4.0-1.fc16.x86_64.rpm 1 packages and 0 specfiles checked; 0 errors, 0 warnings. $ rpmlint ghc-arrows-devel-0.4.4.0-1.fc16.x86_64.rpm 1 packages and 0 specfiles checked; 0 errors, 0 warnings. Successful Koji builds for F16, F17 and F18 respectively: http://koji.fedoraproject.org/koji/taskinfo?taskID=4274656 http://koji.fedoraproject.org/koji/taskinfo?taskID=4274659 http://koji.fedoraproject.org/koji/taskinfo?taskID=4274660 -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 831123] Review Request: ghc-lambdabot-utils - Utility libraries for the Lambdabot IRC bot
by Red Hat Bugzilla 17 Jul '12

17 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=831123 --- Comment #9 from Fedora Update System <updates(a)fedoraproject.org> --- ghc-lambdabot-utils-4.2.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 834986] New: leksah-0.12.1.3 is available
by Red Hat Bugzilla 17 Jul '12

17 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=834986 Bug ID: 834986 Keywords: FutureFeature, Triaged QA Contact: extras-qa(a)fedoraproject.org Severity: unspecified Version: rawhide Priority: unspecified CC: haskell-devel(a)lists.fedoraproject.org, lakshminaras2002(a)gmail.com Assignee: lakshminaras2002(a)gmail.com Summary: leksah-0.12.1.3 is available Regression: --- Story Points: --- Classification: Fedora OS: Unspecified Reporter: upstream-release-monitoring(a)fedoraproject.org Type: --- Documentation: --- Hardware: Unspecified Mount Type: --- Status: NEW Component: leksah Product: Fedora Latest upstream release: 0.12.1.3 Current version in Fedora Rawhide: 0.12.1.2 URL: http://hackage.haskell.org/packages/archive/leksah/ Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring -- You are receiving this mail because: You are on the CC list for the bug.

1 5

[Bug 831123] Review Request: ghc-lambdabot-utils - Utility libraries for the Lambdabot IRC bot
by Red Hat Bugzilla 17 Jul '12

17 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=831123 Fedora Update System <updates(a)fedoraproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Resolution|--- |ERRATA Last Closed| |2012-07-17 13:24:33 --- Comment #8 from Fedora Update System <updates(a)fedoraproject.org> --- ghc-lambdabot-utils-4.2.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 830155] Review Request: unlambda - An interpreter of the Unlambda language
by Red Hat Bugzilla 17 Jul '12

17 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=830155 Fedora Update System <updates(a)fedoraproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|MODIFIED |ON_QA --- Comment #9 from Fedora Update System <updates(a)fedoraproject.org> --- unlambda-0.1-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 833359] Review Request: ghc-Stream - Provides functions to create and manipulate infinite lists
by Red Hat Bugzilla 17 Jul '12

17 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=833359 --- Comment #9 from Fedora Update System <updates(a)fedoraproject.org> --- ghc-Stream-0.4.6-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 833359] Review Request: ghc-Stream - Provides functions to create and manipulate infinite lists
by Red Hat Bugzilla 17 Jul '12

17 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=833359 Fedora Update System <updates(a)fedoraproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Resolution|--- |ERRATA Last Closed| |2012-07-17 13:18:29 --- Comment #8 from Fedora Update System <updates(a)fedoraproject.org> --- ghc-Stream-0.4.6-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 838771] Review Request: ghc-NumInstances - Instances of numeric classes for functions and tuples
by Red Hat Bugzilla 17 Jul '12

17 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=838771 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|nobody(a)fedoraproject.org |petersen(a)redhat.com -- 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 16 Jul '12

16 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=828735 Lakshmi Narasimhan <lakshminaras2002(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED -- 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 16 Jul '12

16 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=828735 Lakshmi Narasimhan <lakshminaras2002(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |lakshminaras2002(a)gmail.com Assignee|nobody(a)fedoraproject.org |lakshminaras2002(a)gmail.com -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 830155] Review Request: unlambda - An interpreter of the Unlambda language
by Red Hat Bugzilla 15 Jul '12

15 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=830155 --- Comment #8 from Fedora Update System <updates(a)fedoraproject.org> --- unlambda-0.1-2.fc17 has been submitted as an update for Fedora 17. https://admin.fedoraproject.org/updates/unlambda-0.1-2.fc17 -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 830155] Review Request: unlambda - An interpreter of the Unlambda language
by Red Hat Bugzilla 15 Jul '12

15 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=830155 --- Comment #7 from Fedora Update System <updates(a)fedoraproject.org> --- unlambda-0.1-2.fc16 has been submitted as an update for Fedora 16. https://admin.fedoraproject.org/updates/unlambda-0.1-2.fc16 -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839902] New: hlint-1.8.30 is available
by Red Hat Bugzilla 15 Jul '12

15 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839902 Bug ID: 839902 Keywords: FutureFeature, Triaged QA Contact: extras-qa(a)fedoraproject.org Severity: unspecified Version: rawhide Priority: unspecified CC: haskell-devel(a)lists.fedoraproject.org, konrad(a)tylerc.org Assignee: konrad(a)tylerc.org Summary: hlint-1.8.30 is available Regression: --- Story Points: --- Classification: Fedora OS: Unspecified Reporter: upstream-release-monitoring(a)fedoraproject.org Type: --- Documentation: --- Hardware: Unspecified Mount Type: --- Status: NEW Component: hlint Product: Fedora Latest upstream release: 1.8.30 Current version in Fedora Rawhide: 1.8.29 URL: http://hackage.haskell.org/packages/archive/hlint/ Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring -- You are receiving this mail because: You are on the CC list for the bug.

1 1

[Bug 839895] New: cpphs-1.14 is available
by Red Hat Bugzilla 15 Jul '12

15 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839895 Bug ID: 839895 Keywords: FutureFeature, Triaged QA Contact: extras-qa(a)fedoraproject.org Severity: unspecified Version: rawhide Priority: unspecified CC: haskell-devel(a)lists.fedoraproject.org, konrad(a)tylerc.org Assignee: konrad(a)tylerc.org Summary: cpphs-1.14 is available Regression: --- Story Points: --- Classification: Fedora OS: Unspecified Reporter: upstream-release-monitoring(a)fedoraproject.org Type: --- Documentation: --- Hardware: Unspecified Mount Type: --- Status: NEW Component: cpphs Product: Fedora Latest upstream release: 1.14 Current version in Fedora Rawhide: 1.13.3 URL: http://hackage.haskell.org/packages/archive/cpphs/ Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring -- You are receiving this mail because: You are on the CC list for the bug.

1 2

[Bug 836609] New: pandoc-1.9.4.2 is available
by Red Hat Bugzilla 15 Jul '12

15 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=836609 Bug ID: 836609 Keywords: FutureFeature, Triaged QA Contact: extras-qa(a)fedoraproject.org Severity: unspecified Version: rawhide Priority: unspecified CC: haskell-devel(a)lists.fedoraproject.org, petersen(a)redhat.com Assignee: petersen(a)redhat.com Summary: pandoc-1.9.4.2 is available Regression: --- Story Points: --- Classification: Fedora OS: Unspecified Reporter: upstream-release-monitoring(a)fedoraproject.org Type: --- Documentation: --- Hardware: Unspecified Mount Type: --- Status: NEW Component: pandoc Product: Fedora Latest upstream release: 1.9.4.2 Current version in Fedora Rawhide: 1.9.4.1 URL: http://hackage.haskell.org/packages/archive/pandoc/ Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring -- You are receiving this mail because: You are on the CC list for the bug.

1 1

[pkgdb] happy (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package happy in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/happy

1 0

[pkgdb] ghc-zlib (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-zlib in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-zlib

1 0

[pkgdb] ghc-xhtml (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-xhtml in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-xhtml

1 0

[pkgdb] ghc-transformers (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-transformers in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-transformers

1 0

[pkgdb] ghc-text (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-text in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-text

1 0

[pkgdb] ghc-syb (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-syb in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-syb

1 0

[pkgdb] ghc-stm (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-stm in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-stm

1 0

[pkgdb] ghc-regex-posix (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-regex-posix in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-regex-posix

1 0

[pkgdb] ghc-regex-compat (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-regex-compat in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-regex-compat

1 0

[pkgdb] ghc-regex-base (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-regex-base in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-regex-base

1 0

[pkgdb] ghc-random (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-random in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-random

1 0

[pkgdb] ghc-parsec (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-parsec in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-parsec

1 0

[pkgdb] ghc-parallel (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-parallel in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-parallel

1 0

[pkgdb] ghc-network (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-network in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-network

1 0

[pkgdb] ghc-mtl (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-mtl in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-mtl

1 0

[pkgdb] ghc-html (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-html in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-html

1 0

[pkgdb] ghc-haskell-src (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-haskell-src in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-haskell-src

1 0

[pkgdb] ghc-fgl (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-fgl in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-fgl

1 0

[pkgdb] ghc-cgi (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-cgi in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-cgi

1 0

[pkgdb] ghc-QuickCheck (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-QuickCheck in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-QuickCheck

1 0

[pkgdb] ghc-OpenGL (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-OpenGL in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-OpenGL

1 0

[pkgdb] ghc-HUnit (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-HUnit in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-HUnit

1 0

[pkgdb] ghc-HTTP (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-HTTP in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-HTTP

1 0

[pkgdb] ghc-GLUT (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package ghc-GLUT in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ghc-GLUT

1 0

[pkgdb] cabal-install (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package cabal-install in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/cabal-install

1 0

[pkgdb] alex (un)retirement
by Fedora PackageDB 15 Jul '12

15 Jul '12

Package alex in Fedora devel has been retired by petersen To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/alex

1 0

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

15 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 Fedora Update System <updates(a)fedoraproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|MODIFIED |ON_QA --- Comment #12 from Fedora Update System <updates(a)fedoraproject.org> --- 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.

1 0

[Bug 742882] Review Request: ghc-semigroups - Provides Haskell 98 semigroups
by Red Hat Bugzilla 15 Jul '12

15 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=742882 --- Comment #15 from Jon Ciesla <limburgher(a)gmail.com> --- Git done (by process-git-requests). -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 630260] Review Request: ghc-attoparsec - Fast combinator parsing for bytestrings
by Red Hat Bugzilla 15 Jul '12

15 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=630260 --- Comment #12 from Jon Ciesla <limburgher(a)gmail.com> --- Git done (by process-git-requests). -- 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 15 Jul '12

15 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=831092 Lakshmi Narasimhan <lakshminaras2002(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED CC| |lakshminaras2002(a)gmail.com Assignee|nobody(a)fedoraproject.org |lakshminaras2002(a)gmail.com -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 630260] Review Request: ghc-attoparsec - Fast combinator parsing for bytestrings
by Red Hat Bugzilla 15 Jul '12

15 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=630260 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Flags|fedora-cvs+ |fedora-cvs? --- Comment #11 from Jens Petersen <petersen(a)redhat.com> --- Package Change Request ====================== Package Name: ghc-attoparsec New Branches: el6 Owners: mathstuf petersen InitialCC: haskell-sig -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 742882] Review Request: ghc-semigroups - Provides Haskell 98 semigroups
by Red Hat Bugzilla 15 Jul '12

15 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=742882 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Flags|fedora-cvs+ |fedora-cvs? --- Comment #14 from Jens Petersen <petersen(a)redhat.com> --- We need semigroups to build conduit for EPEL6. Package Change Request ====================== Package Name: ghc-semigroups New Branches: el6 Owners: narasim petersen InitialCC: haskell-sig -- 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 15 Jul '12

15 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 --- Comment #11 from Fedora Update System <updates(a)fedoraproject.org> --- Agda-2.3.0.1-1.fc16 has been submitted as an update for Fedora 16. https://admin.fedoraproject.org/updates/Agda-2.3.0.1-1.fc16 -- 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 15 Jul '12

15 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 --- Comment #10 from Fedora Update System <updates(a)fedoraproject.org> --- Agda-2.3.0.1-1.fc17 has been submitted as an update for Fedora 17. https://admin.fedoraproject.org/updates/Agda-2.3.0.1-1.fc17 -- 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 15 Jul '12

15 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 Fedora Update System <updates(a)fedoraproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|VERIFIED |MODIFIED -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839473] llvm-3.1 missing ghc ARM support: causing all compiled programs to segfault
by Red Hat Bugzilla 14 Jul '12

14 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839473 Peter Robinson <pbrobinson(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |CLOSED Fixed In Version| |llvm-3.1-7.fc18 Resolution|--- |RAWHIDE Last Closed| |2012-07-14 13:33:28 -- 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 13 Jul '12

13 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 --- Comment #9 from Jason Tibbitts <tibbs(a)math.uh.edu> --- Git done (by process-git-requests). -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839473] llvm-3.1 missing ghc ARM support: causing all compiled programs to segfault
by Red Hat Bugzilla 12 Jul '12

12 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839473 --- Comment #7 from Jens Petersen <petersen(a)redhat.com> --- (In reply to comment #5) > This is the build > http://arm.koji.fedoraproject.org/koji/taskinfo?taskID=959567 I successfully tested it on armv5tel and it fixes the ghc segfaults so looks good to me (tested both hello.hs and building the hscolour package in mock). I can try to test armv7hl later using the koji static repo (the arm rawhide seems to have some perl breakage today.) -- 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 12 Jul '12

12 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|Ready | Flags| |fedora-cvs? --- Comment #8 from Jens Petersen <petersen(a)redhat.com> --- Thank you for reviewing. New Package SCM Request ======================= Package Name: Agda Short Description: Dependently typed functional language commandline Owners: petersen Branches: f16 f17 InitialCC: haskell-sig -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 810478] New: pandoc-1.9.2 is available
by Red Hat Bugzilla 12 Jul '12

12 Jul '12

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: pandoc-1.9.2 is available https://bugzilla.redhat.com/show_bug.cgi?id=810478 Summary: pandoc-1.9.2 is available Product: Fedora Version: rawhide Platform: Unspecified OS/Version: Unspecified Status: NEW Keywords: FutureFeature, Triaged Severity: unspecified Priority: unspecified Component: pandoc AssignedTo: petersen(a)redhat.com ReportedBy: upstream-release-monitoring(a)fedoraproject.org QAContact: extras-qa(a)fedoraproject.org CC: petersen(a)redhat.com, fedora-haskell-list(a)redhat.com Classification: Fedora Story Points: --- Type: --- Regression: --- Mount Type: --- Documentation: --- Latest upstream release: 1.9.2 Current version in Fedora Rawhide: 1.9.1.2 URL: http://hackage.haskell.org/packages/archive/pandoc/ Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring -- 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 11

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

12 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 Shakthi Kannan <shakthimaan(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |VERIFIED Flags| |fedora-review+ --- Comment #7 from Shakthi Kannan <shakthimaan(a)gmail.com> --- Package Review ============== Key: - = N/A x = Pass ! = Fail ? = Not evaluated ==== Generic ==== [x]: MUST Package is licensed with an open-source compatible license and meets other legal requirements as defined in the legal section of Packaging Guidelines. [x]: MUST Package successfully compiles and builds into binary rpms on at least one supported primary architecture. [x]: MUST %build honors applicable compiler flags or justifies otherwise. [x]: MUST All build dependencies are listed in BuildRequires, except for any that are listed in the exceptions section of Packaging Guidelines. Note: The package did not built BR could therefore not be checked or the package failed to build because of missing BR [x]: MUST Buildroot is not present Note: Unless packager wants to package for EPEL5 this is fine [x]: MUST Package contains no bundled libraries. [x]: MUST Changelog in prescribed format. [x]: MUST Package has no %clean section with rm -rf %{buildroot} (or $RPM_BUILD_ROOT) Note: Clean would be needed if support for EPEL is required [x]: MUST Sources contain only permissible code or content. [x]: MUST Each %files section contains %defattr if rpm < 4.4 Note: Note: defattr macros not found. They would be needed for EPEL5 [x]: MUST Macros in Summary, %description expandable at SRPM build time. [x]: MUST Package requires other packages for directories it uses. [x]: MUST Package uses nothing in %doc for runtime. [x]: MUST Package is not known to require ExcludeArch. [x]: MUST Permissions on files are set properly. [x]: MUST Package does not contain duplicates in %files. [x]: MUST Spec file lacks Packager, Vendor, PreReq tags. [x]: MUST Package does not run rm -rf %{buildroot} (or $RPM_BUILD_ROOT) at the beginning of %install. Note: rm -rf would be needed if support for EPEL5 is required [-]: MUST Large documentation files are in a -doc subpackage, if required. [x]: MUST If (and only if) the source package includes the text of the license(s) in its own file, then that file, containing the text of the license(s) for the package is included in %doc. [x]: MUST License field in the package spec file matches the actual license. [x]: MUST Package consistently uses macros (instead of hard-coded directory names). [x]: MUST Package is named according to the Package Naming Guidelines. [x]: MUST Package does not generate any conflict. [x]: MUST Package obeys FHS, except libexecdir and /usr/target. [x]: MUST Package must own all directories that it creates. [x]: MUST Package does not own files or directories owned by other packages. [x]: MUST Package installs properly. [x]: MUST Requires correct, justified where necessary. [x]: MUST Rpmlint output is silent. [x]: MUST Sources used to build the package match the upstream source, as provided in the spec URL. /home/shaks/710383/Agda-executable-2.3.0.1.tar.gz : MD5SUM this package : a9c803f0a829cf54d35b1a82f0ba6181 MD5SUM upstream package : a9c803f0a829cf54d35b1a82f0ba6181 [x]: MUST Spec file is legible and written in American English. [x]: MUST Spec file name must match the spec package %{name}, in the format %{name}.spec. [-]: MUST Package contains a SysV-style init script if in need of one. [x]: MUST File names are valid UTF-8. [x]: MUST Useful -debuginfo package or justification otherwise. [x]: SHOULD Reviewer should test that the package builds in mock. [x]: SHOULD If the source package does not include license text(s) as a separate file from upstream, the packager SHOULD query upstream to include it. [x]: SHOULD Dist tag is present. [x]: SHOULD No file requires outside of /etc, /bin, /sbin, /usr/bin, /usr/sbin. [x]: SHOULD Final provides and requires are sane (rpm -q --provides and rpm -q --requires). [x]: SHOULD Package functions as described. [x]: SHOULD Latest version is packaged. [x]: SHOULD Package does not include license text files separate from upstream. [x]: SHOULD SourceX is a working URL. [x]: SHOULD Description and summary sections in the package spec file contains translations for supported Non-English languages, if available. [x]: SHOULD Package should compile and build into binary rpms on all supported architectures. [-]: SHOULD %check is present and all tests pass. [x]: SHOULD Packages should try to preserve timestamps of original installed files. [x]: SHOULD Spec use %global instead of %define. Generated by fedora-review 0.1.3 External plugins: Package approved. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839473] llvm-3.1 missing ghc ARM support: causing all compiled programs to segfault
by Red Hat Bugzilla 12 Jul '12

12 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839473 --- Comment #6 from Jens Petersen <petersen(a)redhat.com> --- Thanks Peter for working on this. I will try to test your build. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839473] llvm-3.1 missing ghc ARM support: causing all compiled programs to segfault
by Red Hat Bugzilla 12 Jul '12

12 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839473 --- Comment #5 from Peter Robinson <pbrobinson(a)gmail.com> --- This is the build http://arm.koji.fedoraproject.org/koji/taskinfo?taskID=959567 -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839473] llvm-3.1 missing ghc ARM support: causing all compiled programs to segfault
by Red Hat Bugzilla 12 Jul '12

12 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839473 --- Comment #4 from Peter Robinson <pbrobinson(a)gmail.com> --- Created attachment 597745 --> https://bugzilla.redhat.com/attachment.cgi?id=597745&action=edit regenerated ocaml patch -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839473] llvm-3.1 missing ghc ARM support: causing all compiled programs to segfault
by Red Hat Bugzilla 12 Jul '12

12 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839473 --- Comment #3 from Peter Robinson <pbrobinson(a)gmail.com> --- Referenced patch didn't apply cleanly on ARM. There was another one attached to the original email post that was much closer. http://lists.cs.uiuc.edu/pipermail/llvmdev/attachments/20120624/891b3ca2/at… It needed one section manually applied so the attched patch I think is good. The following is a scratch build if someone could test that is fixes the problem I'll push the change I have in my local git and build it properly. http://arm.koji.fedoraproject.org/koji/taskinfo?taskID=959544 -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839473] llvm-3.1 missing ghc ARM support: causing all compiled programs to segfault
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839473 --- Comment #2 from Jens Petersen <petersen(a)redhat.com> --- According to the mail the original llvm-3.0 patch should work also for 3.1: http://lists.cs.uiuc.edu/pipermail/llvmdev/attachments/20111014/844ce355/at… -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839473] llvm-3.1 missing ghc ARM support: causing all compiled programs to segfault
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839473 --- Comment #1 from Jens Petersen <petersen(a)redhat.com> --- Just to confirm: reverting to llvm-3.0-13.fc18 fixes the ARM segfaults. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839473] llvm-3.1 missing ghc ARM support: causing all compiled programs to segfault
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839473 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|llvm-3.1 missing ghc ARM |llvm-3.1 missing ghc ARM |support |support: causing all | |compiled programs to | |segfault -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839473] llvm-3.1 missing ghc ARM support
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839473 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |haskell-devel(a)lists.fedorap | |roject.org, | |pbrobinson(a)gmail.com -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839260] Review Request: Agda-stdlib - Agda standard library
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #3 from Jens Petersen <petersen(a)redhat.com> --- Strictly Agda-stdlib could be noarch since based from Debian the files should be portable, but the ffi library can't be noarch. Anyway I moved the stdlib files to datadir and subpackaged the large html docs: Spec: http://petersen.fedorapeople.org/reviews/Agda-stdlib/Agda-stdlib.spec SRPM: http://petersen.fedorapeople.org/reviews/Agda-stdlib/Agda-stdlib-0.6-4.fc17… -- 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 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 --- Comment #6 from Jens Petersen <petersen(a)redhat.com> --- I see Debian has an "agda" meta-package that pulls in Agda-executable, Agda and the stdlib. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839260] Review Request: Agda-stdlib - Agda standard library
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #2 from Jens Petersen <petersen(a)redhat.com> --- A simple usage example: $ ls -l stdlib lrwxrwxrwx. 1 petersen petersen 23 Jul 11 15:46 stdlib -> /usr/lib64/Agda-stdlib/ $ cat test.agda module test where open import IO main = run (putStrLn "Hello world!") $ agda -c -i. -istdlib test.agda : : [91 of 91] Compiling MAlonzo.Code.Qtest ( /home/petersen/pkgreview/Agda/test/MAlonzo/Code/Qtest.hs, /home/petersen/pkgreview/Agda/test/MAlonzo/Code/Qtest.o ) $ ./test Hello world! $ -- 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 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 --- Comment #5 from Jens Petersen <petersen(a)redhat.com> --- A small example of usage: $ cat test.agda module test where data Bool : Set where true : Bool false : Bool $ agda test.agda Checking test (/home/petersen/pkgreview/Agda/test/test.agda). Finished test. $ -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839260] Review Request: Agda-stdlib - Agda standard library
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Alias| |Agda-stdlib -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839260] Review Request: Agda-stdlib - Agda standard library
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Shakthi Kannan <shakthimaan(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED CC| |shakthimaan(a)gmail.com Assignee|nobody(a)fedoraproject.org |shakthimaan(a)gmail.com -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839260] Review Request: Agda-stdlib - Agda standard library
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #1 from Jens Petersen <petersen(a)redhat.com> --- Note this needs ghc-rpm-macros-0.15.7 or later to build (ie currently it will only build in rawhide) http://koji.fedoraproject.org/koji/taskinfo?taskID=4233324 (ghc-rpm-macros-0.15.7-1.fc17) -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839260] Review Request: Agda-stdlib - Agda standard library
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |haskell-devel(a)lists.fedorap | |roject.org Depends On| |710383 (Agda) -- 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 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Blocks| |839260 -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839152] Review Request: ghc-filemanip - Expressive file and directory manipulation
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839152 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |CLOSED Resolution|--- |DEFERRED Last Closed| |2012-07-11 05:11:56 --- Comment #2 from Jens Petersen <petersen(a)redhat.com> --- Actually this only needed for Agda-stdlib development I think, to generate "Everything" but it is also generated in the src tarball. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839152] Review Request: ghc-filemanip - Expressive file and directory manipulation
by Red Hat Bugzilla 10 Jul '12

10 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839152 --- Comment #1 from Jens Petersen <petersen(a)redhat.com> --- Koji build http://koji.fedoraproject.org/koji/taskinfo?taskID=4232727 -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839152] Review Request: ghc-filemanip - Expressive file and directory manipulation
by Red Hat Bugzilla 10 Jul '12

10 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839152 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |haskell-devel(a)lists.fedorap | |roject.org -- 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 10 Jul '12

10 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 --- Comment #4 from Jens Petersen <petersen(a)redhat.com> --- Yeah it would be good to add the stdlib too. I have a draft package of it though Agda doesn't have proper packaging conventions yet. Actually Agda is needed to compile stdlib (at least to generate the interface files) so I think this package will still come before Agda-stdlib even if it is not very useful without it. Also I verified that Agda doesn't seem to need ghc-Agda-devel: it is dynamically linked to ghc-Agda anyway. I think the example above does not compile with Agda-2.3? but the example from http://strugglingthroughproblems.blogspot.in/2012/03/agda-as-programming-la… you found might with stdlib-0.6. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 662275] Review Request: hledger - A double-entry accounting tool
by Red Hat Bugzilla 10 Jul '12

10 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=662275 Fedora Update System <updates(a)fedoraproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|MODIFIED |ON_QA --- Comment #11 from Fedora Update System <updates(a)fedoraproject.org> --- hledger-0.17-1.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 662259] Review Request: git-annex - Manage files with git, without checking their contents in
by Red Hat Bugzilla 10 Jul '12

10 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=662259 --- Comment #52 from Fedora Update System <updates(a)fedoraproject.org> --- git-annex-3.20120522-2.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 662259] Review Request: git-annex - Manage files with git, without checking their contents in
by Red Hat Bugzilla 10 Jul '12

10 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=662259 Fedora Update System <updates(a)fedoraproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Resolution|--- |ERRATA Last Closed| |2012-07-10 16:49:12 --- Comment #51 from Fedora Update System <updates(a)fedoraproject.org> --- git-annex-3.20120522-2.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 817346] ghc-hamlet-1.0.1.3 is available
by Red Hat Bugzilla 10 Jul '12

10 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=817346 Fedora Update System <updates(a)fedoraproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|RAWHIDE |ERRATA --- Comment #4 from Fedora Update System <updates(a)fedoraproject.org> --- ghc-hamlet-1.0.1.3-1.fc17, ghc-shakespeare-1.0.0.2-1.fc17, ghc-hakyll-3.2.7.2-4.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 710383] Review Request: Agda - Commandline for dependently typed functional language
by Red Hat Bugzilla 10 Jul '12

10 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 --- Comment #3 from Shakthi Kannan <shakthimaan(a)gmail.com> --- Even though the hackage page doesn't mention it, the Agda stdlib are required for Agda-executable: http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary These need to be made available for use with the command line tool. For example, in the following example the IO module is provided by the Agda stdlib: === TEST CODE === open import IO main : _ main = run (putStrLn "Hello world!") === END === Gentoo (for example) has an ebuild for the same: http://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo-x86/sci-mathematics/agd… -- You are receiving this mail because: You are on the CC list for the bug.

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

haskell-devel July 2012