haskell-devel July 2013

haskell-devel@lists.fedoraproject.org

1 participants
413 discussions

[Bug 974721] Review Request: ghc-maccatcher - Obtain the host MAC address on *NIX and Windows
by Red Hat Bugzilla 01 Jul '13

01 Jul '13

https://bugzilla.redhat.com/show_bug.cgi?id=974721 --- Comment #3 from Ricky Elrod <relrod(a)redhat.com> --- Another note (you can fix at import time): Make the -devel subpackage fully versioned (that is, include the %{?_isa}) https://fedoraproject.org/wiki/Packaging:Guidelines#Requiring_Base_Package -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=NElIEQ7sgP&a=cc_unsubscribe

1 0

[Bug 947819] Review Request: idris - Functional Programming Language with Dependent Types
by Red Hat Bugzilla 01 Jul '13

01 Jul '13

https://bugzilla.redhat.com/show_bug.cgi?id=947819 --- Comment #7 from Jens Petersen <petersen(a)redhat.com> --- I uploaded: Spec: http://petersen.fedorapeople.org/reviews/idris/idris.spec SRPM: http://petersen.fedorapeople.org/reviews/idris/idris-0.9.8-1.fc19.src.rpm but have not built it yet. (I tried to do mockchain locally but it failed with some repo metadata errors...) -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=pTTITUrvmO&a=cc_unsubscribe

1 0

[Bug 947819] Review Request: idris - Functional Programming Language with Dependent Types
by Red Hat Bugzilla 01 Jul '13

01 Jul '13

https://bugzilla.redhat.com/show_bug.cgi?id=947819 --- Comment #6 from Jens Petersen <petersen(a)redhat.com> --- (In reply to Ricky Elrod from comment #5) > If you want to package the two deps and bump this to the latest upstream > version, I'll review the set. Thank you, you're on! That would be great. :) I posted RRs above for libffi and language-java. I think I have idris nearly ready but I need to build it first on Rawhide to check since it requires haskeline-0.7 to build... -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=U9IIfSC3cj&a=cc_unsubscribe

1 0

[Bug 980133] Review Request: ghc-language-java - Java source manipulation
by Red Hat Bugzilla 01 Jul '13

01 Jul '13

https://bugzilla.redhat.com/show_bug.cgi?id=980133 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Alias| |ghc-language-java -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=rAC0XNIosm&a=cc_unsubscribe

1 0

[Bug 980123] Review Request: ghc-libffi - A binding to libffi
by Red Hat Bugzilla 01 Jul '13

01 Jul '13

https://bugzilla.redhat.com/show_bug.cgi?id=980123 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Alias| |ghc-libffi -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=6ARDUjIcw1&a=cc_unsubscribe

1 0

[Bug 980133] Review Request: ghc-language-java - Java source manipulation
by Red Hat Bugzilla 01 Jul '13

01 Jul '13

https://bugzilla.redhat.com/show_bug.cgi?id=980133 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |haskell-devel(a)lists.fedorap | |roject.org Blocks| |947819 (idris) -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=NDe9TYoeHb&a=cc_unsubscribe

1 0

[Bug 947819] Review Request: idris - Functional Programming Language with Dependent Types
by Red Hat Bugzilla 01 Jul '13

01 Jul '13

https://bugzilla.redhat.com/show_bug.cgi?id=947819 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Depends On| |980133 -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=Coy70P1P2U&a=cc_unsubscribe

1 0

[Bug 980123] Review Request: ghc-libffi - A binding to libffi
by Red Hat Bugzilla 01 Jul '13

01 Jul '13

https://bugzilla.redhat.com/show_bug.cgi?id=980123 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Blocks| |947819 (idris) -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=ToyrHxcPIE&a=cc_unsubscribe

1 0

[Bug 947819] Review Request: idris - Functional Programming Language with Dependent Types
by Red Hat Bugzilla 01 Jul '13

01 Jul '13

https://bugzilla.redhat.com/show_bug.cgi?id=947819 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Depends On| |980123 -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=U0lZPYszmt&a=cc_unsubscribe

1 0

[Bug 947819] Review Request: idris - Functional Programming Language with Dependent Types
by Red Hat Bugzilla 01 Jul '13

01 Jul '13

https://bugzilla.redhat.com/show_bug.cgi?id=947819 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Alias| |idris -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=UW1mBbUn9Z&a=cc_unsubscribe

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

haskell-devel July 2013