haskell-devel June 2012

haskell-devel@lists.fedoraproject.org

2 participants
305 discussions

[Bug 710031] Review Request: ghc-Agda - Dependently typed functional programming language

by Red Hat Bugzilla

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

11 years, 6 months

1
0
0 / 0

[Bug 818102] Review Request: ghc-network-conduit - Stream socket data using conduits

by Red Hat Bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=818102 --- Comment #3 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.

11 years, 6 months

1
0
0 / 0

[Bug 662259] Review Request: git-annex - Manage files with git, without checking their contents in

by Red Hat Bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=662259 --- Comment #32 from Jens Petersen <petersen(a)redhat.com> --- Congratulations to Joey. Ben, can you update your submission so we can complete the review? I hope only pending thing is the Requires for git. -- You are receiving this mail because: You are on the CC list for the bug.

11 years, 6 months

1
0
0 / 0

[Bug 662259] Review Request: git-annex - Manage files with git, without checking their contents in

by Red Hat Bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=662259 --- Comment #31 from Jens Petersen <petersen(a)redhat.com> --- Created attachment 588376 --> https://bugzilla.redhat.com/attachment.cgi?id=588376&action=edit git-annex.spec-2.patch Here is an additional patch (ie should be applied after the previous one) which subpackages the html docs. -- You are receiving this mail because: You are on the CC list for the bug.

11 years, 6 months

1
0
0 / 0

[Bug 818102] Review Request: ghc-network-conduit - Stream socket data using conduits

by Red Hat Bugzilla

https://bugzilla.redhat.com/show_bug.cgi?id=818102 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|Ready | Flags| |fedora-cvs? --- Comment #2 from Jens Petersen <petersen(a)redhat.com> --- Great thanks for reviewing. Finally now we can update wai and warp in F17 to 1.x versions. :) New Package SCM Request ======================= Package Name: ghc-network-conduit Short Description: Stream socket data conduits Owners: petersen Branches: f16 f17 el6 InitialCC: haskell-sig -- You are receiving this mail because: You are on the CC list for the bug.

11 years, 6 months

1
0
0 / 0

← Newer
1
...
28
29
30
31
Older →

Jump to page:

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

haskell-devel June 2012