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 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 11 Jul '12

11 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 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 ---------------------------------------------------------------------------- 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 11 Jul '12

11 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

← Newer
1
...
17
18
19
20
21
22
23
...
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