[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Fedora Update System changed: What|Removed |Added Fixed In Version|Agda-stdlib-0.7-3.fc20 |Agda-stdlib-0.7-3.fc19 --- Comm

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Fedora Update System changed: What|Removed |Added Status|ON_QA |CLOSED Fixed In Version|

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Fedora Update System changed: What|Removed |Added Status|MODIFIED|ON_QA --- Comment #12 from Fedo

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #10 from Fedora Update System --- Agda-stdlib-0.7-3.fc19 has been submitted as an update for Fedora 19. https://admin.fedoraproject.org/updates/Agda-stdlib-0.7-3.fc19 -- You are receiving this mail because: You are on the CC list

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #11 from Fedora Update System --- Agda-stdlib-0.7-3.fc20 has been submitted as an update for Fedora 20. https://admin.fedoraproject.org/updates/Agda-stdlib-0.7-3.fc20 -- You are receiving this mail because: You are on the CC list

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Jens Petersen changed: What|Removed |Added Status|POST|MODIFIED -- You are receiving this ma

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #9 from Jon Ciesla --- Git done (by process-git-requests). -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component ___

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Jon Ciesla changed: What|Removed |Added Flags|fedora-cvs? |fedora-cvs+ -- You are receiving this ma

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Jens Petersen changed: What|Removed |Added Status|MODIFIED|POST Flags|

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Shakthi Kannan changed: What|Removed |Added Status|ASSIGNED|MODIFIED Flags|fedora-revi

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #6 from Jens Petersen --- (In reply to Jens Petersen from comment #5) > Should build on F19 and F20. (Sorry this remark was vague: I meant that Agda-2.3.2 is there now.) Exclude ARM since no Agda currently on ARM: Spec: http://pe

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #5 from Jens Petersen --- Should build on F19 and F20. -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component ___

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Jens Petersen changed: What|Removed |Added Whiteboard||Ready -- You are receiving this mail

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #4 from Jens Petersen --- Updated to 0.7 for Agda-2.3.2+ Spec: http://petersen.fedorapeople.org/reviews/Agda-stdlib/Agda-stdlib.spec SRPM: http://petersen.fedorapeople.org/reviews/Agda-stdlib/Agda-stdlib-0.7-1.fc18.src.rpm Note this

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Shakthi Kannan changed: What|Removed |Added Flags||fedora-review? -- You are receiving th

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

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

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #2 from Jens Petersen --- 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!"

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Jens Petersen changed: What|Removed |Added Alias||Agda-stdlib -- You are receiving this m

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Shakthi Kannan changed: What|Removed |Added Status|NEW |ASSIGNED CC|

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #1 from Jens Petersen --- 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 rec

[Bug 839260] Review Request: Agda-stdlib - Agda standard library

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Jens Petersen changed: What|Removed |Added CC||haskell-devel@lists.fedorap