haskell-devel July 2012

haskell-devel@lists.fedoraproject.org

2 participants
251 discussions

[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 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|NotReady |Ready --- Comment #2 from Jens Petersen <petersen(a)redhat.com> --- Ok finally: Spec: http://petersen.fedorapeople.org/reviews/Agda/Agda.spec SRPM: http://petersen.fedorapeople.org/reviews/Agda/Agda-2.3.0.1-1.fc17.src.rpm Koji: http://koji.fedoraproject.org/koji/taskinfo?taskID=4229387 Builds for me in F17 too locally. I need to check if it needs "Requires: ghc-Agda-devel" too. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 838780] Review Request: ghc-shakespeare-text - Interpolation with quasi-quotation: put variables into strings
by Red Hat Bugzilla 10 Jul '12

10 Jul '12

1 0

[Bug 838780] Review Request: ghc-shakespeare-text - Interpolation with quasi-quotation: put variables into strings
by Red Hat Bugzilla 10 Jul '12

10 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=838780 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|nobody(a)fedoraproject.org |petersen(a)redhat.com Flags| |fedora-review? --- Comment #1 from Jens Petersen <petersen(a)redhat.com> --- I think the description is probably too verbose and could be cropped a bit but of course looks fine so far. -- 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 10 Jul '12

10 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=630267 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Depends On| |630227 | |(ghc-convertible-text) -- 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 10 Jul '12

10 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=630227 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Blocks| |630267 | |(ghc-data-object-json) -- 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 10 Jul '12

10 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=630267 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Depends On|630227 | |(ghc-convertible-text) | -- 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 10 Jul '12

10 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=630227 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |MODIFIED Blocks|630303 (yesod), 630267 | |(ghc-data-object-json) | Flags| |needinfo?(mathstuf(a)gmail.co | |m) --- Comment #14 from Jens Petersen <petersen(a)redhat.com> --- yesod-core-0.10 no longer needs data-object-yaml and same for hledger-web-0.18, so I think this review can be dropped/deferred for now. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

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

10 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=630303 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Depends On|630227 | |(ghc-convertible-text) | -- 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 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 838780] Review Request: ghc-shakespeare-text - Interpolation with quasi-quotation: put variables into strings
by Red Hat Bugzilla 10 Jul '12

10 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=838780 Ben Boeckel <mathstuf(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Blocks| |827975 -- You are receiving this mail because: You are on the CC list for the bug.

1 0

← Newer
1
...
18
19
20
21
22
23
24
25
26
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

haskell-devel July 2012