Ocaml-devel April 2011

ocaml-devel@lists.fedoraproject.org

1 participants
16 discussions

[Bug 636803] New: Update to 3.0.4
by Red Hat Bugzilla 02 May '11

02 May '11

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Update to 3.0.4 https://bugzilla.redhat.com/show_bug.cgi?id=636803 Summary: Update to 3.0.4 Product: Fedora Version: rawhide Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: mldonkey AssignedTo: lemenkov(a)gmail.com ReportedBy: lemenkov(a)gmail.com QAContact: extras-qa(a)fedoraproject.org CC: rjones(a)redhat.com, lemenkov(a)gmail.com, fedora-ocaml-list(a)redhat.com Classification: Fedora Subj. 3.0.4 is a bugfix release, fully compatible with previous ones. -- 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 691896] gas: .size expression does not evaluate to a constant
by Red Hat Bugzilla 17 Apr '11

17 Apr '11

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=691896 Fedora Update System <updates(a)fedoraproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Fixed In Version| |ocaml-3.12.0-5.fc15 Resolution| |ERRATA Last Closed| |2011-04-18 00:07:46 -- 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 0

[Bug 691896] gas: .size expression does not evaluate to a constant
by Red Hat Bugzilla 17 Apr '11

17 Apr '11

Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=691896 --- Comment #9 from Fedora Update System <updates(a)fedoraproject.org> 2011-04-18 00:07:41 EDT --- ocaml-3.12.0-5.fc15 has been pushed to the Fedora 15 stable repository. If problems still persist, please make note of it in this bug report. -- 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 0

[Bug 676688] New: Upgrade to version 8.3
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: Upgrade to version 8.3 https://bugzilla.redhat.com/show_bug.cgi?id=676688 Summary: Upgrade to version 8.3 Product: Fedora Version: 14 Platform: Unspecified OS/Version: Unspecified Status: NEW Severity: unspecified Priority: unspecified Component: coq AssignedTo: amdunn(a)gmail.com ReportedBy: abugreporter(a)gmail.com QAContact: extras-qa(a)fedoraproject.org CC: amdunn(a)gmail.com, fedora-ocaml-list(a)redhat.com Classification: Fedora Fedora 14 packaged 8.2, but 8.3 is already available since October 2010. -- 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 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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

Ocaml-devel April 2011