Ocaml-devel November 2010

ocaml-devel@lists.fedoraproject.org

2 participants
45 discussions

[Bug 631302] New: FTBFS coq-8.2pl1-1.fc12
by Red Hat Bugzilla 15 Apr '11

15 Apr '11

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: FTBFS coq-8.2pl1-1.fc12 https://bugzilla.redhat.com/show_bug.cgi?id=631302 Summary: FTBFS coq-8.2pl1-1.fc12 Product: Fedora Version: 14 Platform: All URL: http://linux.dell.com/files/fedora/FixBuildRequires/mo ck-results/ OS/Version: Linux Status: NEW Keywords: Triaged Severity: high Priority: high Component: coq AssignedTo: amdunn(a)gmail.com ReportedBy: ftbfs(a)fedoraproject.org QAContact: extras-qa(a)fedoraproject.org CC: amdunn(a)gmail.com, fedora-ocaml-list(a)redhat.com Blocks: 596849 Classification: Fedora coq-8.2pl1-1.fc12.src.rpm Failed To Build From Source against the rawhide tree. See http://fedoraproject.org/wiki/FTBFS for more information. If you believe this is actually a bug in another package, do NOT change the component in this bug or close this bug. Instead, add the appropriate bug number from the other package to the "Depends on" line in this bug. If the other package does not yet have a bug created that you think matches, please create one. Doing so helps us properly track bugs and their dependencies, just as we track package dependencies. (If you close this bug, and the other package is not fixed before the next FTBFS run, a new bug will get created. Please follow the above advice to avoid such duplication.) -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.

1 9

[Bug 530254] New: Package mime-type information for Coq files
by Red Hat Bugzilla 15 Apr '11

15 Apr '11

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Package mime-type information for Coq files https://bugzilla.redhat.com/show_bug.cgi?id=530254 Summary: Package mime-type information for Coq files Product: Fedora Version: 11 Platform: All OS/Version: Linux Status: NEW Severity: low Priority: low Component: coq AssignedTo: amdunn(a)gmail.com ReportedBy: matt(a)mattmccutchen.net QAContact: extras-qa(a)fedoraproject.org CC: amdunn(a)gmail.com, fedora-ocaml-list(a)redhat.com Classification: Fedora Created an attachment (id=365637) --> (https://bugzilla.redhat.com/attachment.cgi?id=365637) Draft mime-type information Description of problem: It might be nice to package some mime-type information for Coq files as a step toward making them xdg-openable in coqide or Proof General. Version-Release number of selected component (if applicable): coq-8.2-1.fc11.x86_64 -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.

1 14

[Bug 604909] New: [virt-top] Translations for Fedora 14
by Red Hat Bugzilla 28 Mar '11

28 Mar '11

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: [virt-top] Translations for Fedora 14 https://bugzilla.redhat.com/show_bug.cgi?id=604909 Summary: [virt-top] Translations for Fedora 14 Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: virt-top AssignedTo: rjones(a)redhat.com ReportedBy: noriko(a)redhat.com QAContact: extras-qa(a)fedoraproject.org CC: rjones(a)redhat.com, fedora-virt-maint(a)redhat.com, fedora-ocaml-list(a)redhat.com Classification: Fedora Target Release: --- This bug is created to allow translators to submit their translations here for Fedora 14. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.

1 4

[Bug 631112] New: FTBFS ocaml-lablgtk-2.14.0-4.fc13
by Red Hat Bugzilla 22 Mar '11

22 Mar '11

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: FTBFS ocaml-lablgtk-2.14.0-4.fc13 https://bugzilla.redhat.com/show_bug.cgi?id=631112 Summary: FTBFS ocaml-lablgtk-2.14.0-4.fc13 Product: Fedora Version: rawhide Platform: All URL: http://linux.dell.com/files/fedora/FixBuildRequires/mo ck-results/ OS/Version: Linux Status: NEW Keywords: Triaged Severity: high Priority: high Component: ocaml-lablgtk AssignedTo: gemi(a)bluewin.ch ReportedBy: ftbfs(a)fedoraproject.org QAContact: extras-qa(a)fedoraproject.org CC: dwheeler(a)dwheeler.com, gemi(a)bluewin.ch, rjones(a)redhat.com, amdunn(a)gmail.com, fedora-ocaml-list(a)redhat.com Blocks: 596849 Classification: Fedora ocaml-lablgtk-2.14.0-4.fc13.src.rpm Failed To Build From Source against the rawhide tree. See http://fedoraproject.org/wiki/FTBFS for more information. If you believe this is actually a bug in another package, do NOT change the component in this bug or close this bug. Instead, add the appropriate bug number from the other package to the "Depends on" line in this bug. If the other package does not yet have a bug created that you think matches, please create one. Doing so helps us properly track bugs and their dependencies, just as we track package dependencies. (If you close this bug, and the other package is not fixed before the next FTBFS run, a new bug will get created. Please follow the above advice to avoid such duplication.) -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.

1 4

[Bug 631141] New: FTBFS ocaml-deriving-0.1.1a-10.fc13
by Red Hat Bugzilla 22 Mar '11

22 Mar '11

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: FTBFS ocaml-deriving-0.1.1a-10.fc13 https://bugzilla.redhat.com/show_bug.cgi?id=631141 Summary: FTBFS ocaml-deriving-0.1.1a-10.fc13 Product: Fedora Version: rawhide Platform: All URL: http://linux.dell.com/files/fedora/FixBuildRequires/mo ck-results/ OS/Version: Linux Status: NEW Keywords: Triaged Severity: high Priority: high Component: ocaml-deriving AssignedTo: rjones(a)redhat.com ReportedBy: ftbfs(a)fedoraproject.org QAContact: extras-qa(a)fedoraproject.org CC: rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com Blocks: 596849 Classification: Fedora ocaml-deriving-0.1.1a-10.fc13.src.rpm Failed To Build From Source against the rawhide tree. See http://fedoraproject.org/wiki/FTBFS for more information. If you believe this is actually a bug in another package, do NOT change the component in this bug or close this bug. Instead, add the appropriate bug number from the other package to the "Depends on" line in this bug. If the other package does not yet have a bug created that you think matches, please create one. Doing so helps us properly track bugs and their dependencies, just as we track package dependencies. (If you close this bug, and the other package is not fixed before the next FTBFS run, a new bug will get created. Please follow the above advice to avoid such duplication.) -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.

1 2

[Bug 631074] New: FTBFS ocaml-cil-1.3.7-6.fc14
by Red Hat Bugzilla 22 Mar '11

22 Mar '11

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: FTBFS ocaml-cil-1.3.7-6.fc14 https://bugzilla.redhat.com/show_bug.cgi?id=631074 Summary: FTBFS ocaml-cil-1.3.7-6.fc14 Product: Fedora Version: rawhide Platform: All URL: http://linux.dell.com/files/fedora/FixBuildRequires/mo ck-results/ OS/Version: Linux Status: NEW Keywords: Triaged Severity: high Priority: high Component: ocaml-cil AssignedTo: rjones(a)redhat.com ReportedBy: ftbfs(a)fedoraproject.org QAContact: extras-qa(a)fedoraproject.org CC: rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com Blocks: 596849 Classification: Fedora ocaml-cil-1.3.7-6.fc14.src.rpm Failed To Build From Source against the rawhide tree. See http://fedoraproject.org/wiki/FTBFS for more information. If you believe this is actually a bug in another package, do NOT change the component in this bug or close this bug. Instead, add the appropriate bug number from the other package to the "Depends on" line in this bug. If the other package does not yet have a bug created that you think matches, please create one. Doing so helps us properly track bugs and their dependencies, just as we track package dependencies. (If you close this bug, and the other package is not fixed before the next FTBFS run, a new bug will get created. Please follow the above advice to avoid such duplication.) -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.

1 2

[Bug 508197] New: segfaults if run in Japanese
by Red Hat Bugzilla 05 Dec '10

05 Dec '10

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: segfaults if run in Japanese https://bugzilla.redhat.com/show_bug.cgi?id=508197 Summary: segfaults if run in Japanese Product: Fedora Version: 11 Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: virt-top AssignedTo: rjones(a)redhat.com ReportedBy: petersen(a)redhat.com QAContact: extras-qa(a)fedoraproject.org CC: rjones(a)redhat.com, fedora-virt-maint(a)redhat.com, fedora-ocaml-list(a)redhat.com Classification: Fedora Target Release: --- Description of problem: virt-top segfaults immediately for me when run in ja locale. Version-Release number of selected component (if applicable): virt-top-1.0.3-4.fc11.x86_64 How reproducible: every time Steps to Reproduce: LANG=ja_JP.UTF-8 virt-top Actual results: セグメンテーション違反です (Segmentation fault.) Expected results: to run like in other locales -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.

1 18

[Bug 515813] New: coq fails to build for ppc64 in both opt and non-opt versions
by Red Hat Bugzilla 05 Dec '10

05 Dec '10

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: coq fails to build for ppc64 in both opt and non-opt versions https://bugzilla.redhat.com/show_bug.cgi?id=515813 Summary: coq fails to build for ppc64 in both opt and non-opt versions Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: coq AssignedTo: amdunn(a)gmail.com ReportedBy: amdunn(a)gmail.com QAContact: extras-qa(a)fedoraproject.org CC: amdunn(a)gmail.com, fedora-ocaml-list(a)redhat.com Blocks: 238953 Classification: Fedora Description of problem: In build, 8.2 gives error pthread_atfork undefined for bytecode only version http://koji.fedoraproject.org/koji/getfile?taskID=1583843&name=build.log and out of memory error for opt version http://koji.fedoraproject.org/koji/getfile?taskID=1584652&name=build.log Version-Release number of selected component (if applicable): >= 8.2 (including upcoming 8.2pl1) -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.

1 2

[pkgdb] ocaml-lablgtk ownership changed
by Fedora PackageDB 16 Nov '10

16 Nov '10

Package ocaml-lablgtk in Fedora EPEL 5 is now owned by rjones To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ocaml-lablgtk

1 0

[pkgdb] ocaml-lablgtk ownership changed
by Fedora PackageDB 16 Nov '10

16 Nov '10

Package ocaml-lablgtk in Fedora EPEL 6 is now owned by rjones To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/ocaml-lablgtk

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

Ocaml-devel November 2010