Ocaml-devel October 2009

ocaml-devel@lists.fedoraproject.org

5 participants
75 discussions

[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 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

[Bug 487533] New: [RHEL5]: virt-top doesn't show disk transfer statistics
by Red Hat Bugzilla 26 Oct '10

26 Oct '10

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: [RHEL5]: virt-top doesn't show disk transfer statistics https://bugzilla.redhat.com/show_bug.cgi?id=487533 Summary: [RHEL5]: virt-top doesn't show disk transfer statistics Product: Fedora EPEL Version: el5 Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: virt-top AssignedTo: rjones(a)redhat.com ReportedBy: clalance(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: Despite the work that went into RHEL-5.3 to show disk transfer statistics of blktap devices, virt-top is still not showing them. That is, if I start up virt-top on my dom0, I see output similar to: virt-top 11:07:03 - x86_64 8/8CPU 2000MHz 15102MB 17 domains, 16 active, 4 running, 12 sleeping, 0 paused, 1 inactive D:0 O:0 X:0 CPU: 0.0% Mem: 12838 MB (11813 MB by guests) ID S RDRQ WRRQ RXBY TXBY %CPU %MEM TIME NAME 0 R 0.0 6.0 52:14.09 Domain-0 27 S 0.0 6.0 1:50.03 f10pv_i386 26 R 0.0 5.0 2:21.34 f10pv_x86_64 13 S 0.0 5.0 10:15.87 f8pv_i386 14 S 0.0 5.0 11:21.37 f8pv_x86_64 11 S 0.0 5.0 22:22.51 f9pv_i386 12 S 0.0 5.0 20:35.55 f9pv_x86_64 29 S 0.0 5.0 2:30.98 rhel3fv_i386 37 R 0.0 5.0 2:42.97 rhel4fv_i386 38 S 0.0 5.0 0:48.74 rhel4fv_x86_64 7 S 0.0 5.0 6:41.64 rhel4pv_i386 8 S 0.0 5.0 13:03.53 rhel4pv_x86_64 21 S 0.0 5.0 27:49.61 rhel5fv_i386 36 R 0.0 5.0 2:46.24 rhel5fv_x86_64 39 S 0.0 5.0 0:38.62 rhel5pv_i386 40 S 0.0 5.0 0:37.07 rhel5pv_x86_64 But the RDRQ and WRRQ columns are always blank, for both FV and PV guests. I'm not quite sure if this is a libvirt problem or a problem with virt-top itself, but I thought I'd start with virt-top and we can go from there. -- 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 8

[Bug 531206] New: ocaml-docs doesn't install info files because using wrong args to install-info
by Red Hat Bugzilla 18 Aug '10

18 Aug '10

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: ocaml-docs doesn't install info files because using wrong args to install-info https://bugzilla.redhat.com/show_bug.cgi?id=531206 Summary: ocaml-docs doesn't install info files because using wrong args to install-info Product: Red Hat Enterprise Linux 6 Version: 6.0 Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: ocaml AssignedTo: rjones(a)redhat.com ReportedBy: rjones(a)redhat.com CC: gemi(a)bluewin.ch, rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com Depends on: 531204 Classification: Red Hat Target Release: --- Clone Of: 531204 +++ This bug was initially created as a clone of Bug #531204 +++ Description of problem: Although ocaml-docs comes with info files, these are never installed because we call /sbin/install-info with old-style Debian args, and install-info doesn't really work properly when you use those. Version-Release number of selected component (if applicable): ocaml-docs-3.11.1-4.fc13.x86_64 and all previous versions How reproducible: Always. Steps to Reproduce: 1. Install ocaml. 2. Run 'info' or 'info ocaml' 3. Actual results: When running 'info' you'll see the OCaml page is missing from the info directory. When running 'info ocaml' you'll see the man page which is the info fallback position when it thinks that there is no info file installed. Expected results: Should show real OCaml info page. Should be in directory. Additional info: The correct parameters which install ocaml.info are: /sbin/install-info --entry="* ocaml: (ocaml). The Objective Caml compiler and programming environment" --section="Programming" /usr/share/info/ocaml.info /usr/share/info/dir -- 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 6

[Bug 481318] New: Missing package for MLGMP
by Red Hat Bugzilla 28 Jun '10

28 Jun '10

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Missing package for MLGMP https://bugzilla.redhat.com/show_bug.cgi?id=481318 Summary: Missing package for MLGMP Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: ocaml AssignedTo: rjones(a)redhat.com ReportedBy: bagnara(a)cs.unipr.it QAContact: extras-qa(a)fedoraproject.org CC: gemi(a)bluewin.ch, rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com Classification: Fedora It would be nice to package MLGMP, an extended precision computation library in OCaml (http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=278) based on GMP. Debian has two packages for MLGMP named libgmp-ocaml and libgmp-ocaml-dev: I tell you in case you want to check the packaging choices they have made (the possible objective being to facilitate the life of application writers that need to produce software working on both Debian and Fedora systems). -- 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 3

[Bug 493799] New: Translations for Fedora 11!
by Red Hat Bugzilla 16 Jun '10

16 Jun '10

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Translations for Fedora 11! https://bugzilla.redhat.com/show_bug.cgi?id=493799 Summary: Translations for Fedora 11! Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: virt-top AssignedTo: rjones(a)redhat.com ReportedBy: ankit(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: --- There is no way to submit translations for Virt-top through Transifex (or direct access to VCS) for translators. So, creating this bug to allow translators to submit their translations here, that's what we have been doing since previous release of Fedora. Requesting the Package Maintainer to accept the translations and bundle them along with this package after Translation Freeze (7th April) for Fedora 11. Thanks! Ankit -- 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 48

[Bug 531204] New: ocaml-docs doesn't install info files because using wrong args to install-info
by Red Hat Bugzilla 16 Jun '10

16 Jun '10

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: ocaml-docs doesn't install info files because using wrong args to install-info https://bugzilla.redhat.com/show_bug.cgi?id=531204 Summary: ocaml-docs doesn't install info files because using wrong args to install-info Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: ocaml AssignedTo: gemi(a)bluewin.ch ReportedBy: rjones(a)redhat.com QAContact: extras-qa(a)fedoraproject.org CC: gemi(a)bluewin.ch, rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com Classification: Fedora Target Release: --- Description of problem: Although ocaml-docs comes with info files, these are never installed because we call /sbin/install-info with old-style Debian args, and install-info doesn't really work properly when you use those. Version-Release number of selected component (if applicable): ocaml-docs-3.11.1-4.fc13.x86_64 and all previous versions How reproducible: Always. Steps to Reproduce: 1. Install ocaml. 2. Run 'info' or 'info ocaml' 3. Actual results: When running 'info' you'll see the OCaml page is missing from the info directory. When running 'info ocaml' you'll see the man page which is the info fallback position when it thinks that there is no info file installed. Expected results: Should show real OCaml info page. Should be in directory. Additional info: The correct parameters which install ocaml.info are: /sbin/install-info --entry="* ocaml: (ocaml). The Objective Caml compiler and programming environment" --section="Programming" /usr/share/info/ocaml.info /usr/share/info/dir -- 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 5

[Bug 520971] New: Info documentation fails to install into directory
by Red Hat Bugzilla 16 Jun '10

16 Jun '10

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Info documentation fails to install into directory https://bugzilla.redhat.com/show_bug.cgi?id=520971 Summary: Info documentation fails to install into directory Product: Fedora Version: 11 Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: ocaml AssignedTo: gemi(a)bluewin.ch ReportedBy: matt(a)mattmccutchen.net QAContact: extras-qa(a)fedoraproject.org CC: gemi(a)bluewin.ch, rjones(a)redhat.com, fedora-ocaml-list(a)redhat.com Classification: Fedora Description of problem: After installing the ocaml-docs package, ocaml is not listed in the info directory when I run "info". Here's the scriptlet that tries to install the info documentation: $ rpm -q --scripts ocaml-docs postinstall scriptlet (using /bin/sh): /sbin/install-info \ --entry "* ocaml: (ocaml). The Objective Caml compiler and programming environment" \ --section "Programming Languages" \ /usr/share/info/ocaml.info \ /usr/share/info/dir 2>/dev/null || : Since /usr/share/info/ocaml.info is not an existing file (the file is /usr/share/info/ocaml.info.gz), install-info misinterprets the --section option as a "--section R SEC" style option. install-info then crashes while processing that option, due to a separate bug which I reported upstream: https://savannah.gnu.org/bugs/index.php?27376 With that bug fixed, install-info would still fail with an error message that is suppressed by the scriptlet. Version-Release number of selected component (if applicable): info-4.13a-2.fc11.i586 ocaml-docs-3.11.0-3.fc11.i586 How reproducible: I got the crash every time I tried, but I'm hesitant to generalize because behavior could depend on the layout produced by malloc at runtime. Steps to Reproduce: 1. yum install ocaml-docs 2. info Actual results: The following crash during "yum install ocaml-docs": *** glibc detected *** /sbin/install-info: realloc(): invalid pointer: 0x097e48e8 *** ======= Backtrace: ========= /lib/libc.so.6[0x5c72a1] /lib/libc.so.6(realloc+0x290)[0x5ccaf0] /lib/libc.so.6(argz_append+0x33)[0x5d4fb3] /lib/libc.so.6(argz_add+0x3f)[0x5d503f] /sbin/install-info[0x804b0d9] /lib/libc.so.6(__libc_start_main+0xe6)[0x56da66] /sbin/install-info[0x80491e1] ======= Memory map: ======== 0017a000-0017b000 r-xp 0017a000 00:00 0 [vdso] 002ab000-002cb000 r-xp 00000000 fd:02 3181963 /lib/ld-2.10.1.so 002cb000-002cc000 r--p 0001f000 fd:02 3181963 /lib/ld-2.10.1.so 002cc000-002cd000 rw-p 00020000 fd:02 3181963 /lib/ld-2.10.1.so 00557000-006c2000 r-xp 00000000 fd:02 3181970 /lib/libc-2.10.1.so 006c2000-006c4000 r--p 0016b000 fd:02 3181970 /lib/libc-2.10.1.so 006c4000-006c5000 rw-p 0016d000 fd:02 3181970 /lib/libc-2.10.1.so 006c5000-006c8000 rw-p 006c5000 00:00 0 008e4000-0090e000 r-xp 00000000 fd:02 3181941 /lib/libgcc_s-4.4.1-20090729.so.1 0090e000-0090f000 rw-p 00029000 fd:02 3181941 /lib/libgcc_s-4.4.1-20090729.so.1 00c82000-00c94000 r-xp 00000000 fd:02 3182285 /lib/libz.so.1.2.3 00c94000-00c95000 rw-p 00011000 fd:02 3182285 /lib/libz.so.1.2.3 08048000-08051000 r-xp 00000000 fd:02 3182403 /sbin/install-info 08051000-08052000 rw-p 00008000 fd:02 3182403 /sbin/install-info 097e4000-09805000 rw-p 097e4000 00:00 0 [heap] b7ef9000-b80f9000 r--p 00000000 fd:02 3183628 /usr/lib/locale/locale-archive b80f9000-b80fb000 rw-p b80f9000 00:00 0 bfcb9000-bfcce000 rw-p bffeb000 00:00 0 [stack] /var/tmp/rpm-tmp.xcb4Ih: line 5: 9241 Aborted /sbin/install-info --entry "* ocaml: (ocaml). The Objective Caml compiler and programming environment" --section "Programming Languages" /usr/share/info/ocaml.info /usr/share/info/dir 2> /dev/null And ocaml is nowhere to be seen in the info directory. Expected results: No crash, and ocaml appears in the info directory. -- 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 523547] New: virt-df doesn't pull correct dependencies
by Red Hat Bugzilla 27 Mar '10

27 Mar '10

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: virt-df doesn't pull correct dependencies https://bugzilla.redhat.com/show_bug.cgi?id=523547 Summary: virt-df doesn't pull correct dependencies Product: Fedora Version: 11 Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: virt-df AssignedTo: rjones(a)redhat.com ReportedBy: emcnabb(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: The virt-df RPM doesn't pull in perl-XML-XPath.noarch which is required. Version-Release number of selected component (if applicable): virt-df.x86_64 1:1.0.68-2.fc11 How reproducible: Every time Steps to Reproduce: # yum install -y virt-df ... # virt-df Filesystem 1K-blocks Used Available Use% open_guest: no libvirt support (install Sys::Virt, XML::XPath and XML::XPath::XMLParser) at /usr/lib64/perl5/vendor_perl/5.10.0/x86_64-linux-thread-multi/Sys/Guestfs/Lib.pm line 148. # yum install -y perl-XML-XPath ... # virt-df Filesystem 1K-blocks Used Available Use% RHEL5.3-64:/dev/VolGroup00/LogVol00 9014656 7208796 1340556 85.1% ...correct output... Actual results: Expected results: perl-XML-XPath should be added as a dependency. Additional info: -- 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 13

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

Ocaml-devel October 2009