[Bug 631302] FTBFS coq-8.2pl1-1.fc12
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=631302 --- Comment #11 from Fedora Update System 2011-04-04 16:54:45 EDT --- coq-8.3pl1-2.fc15 has been submitted as an update for Fedora 15. https://admin.fedoraproject.org/updates/coq-8.3pl1-2.fc15 -- 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. ___ ocaml-devel mailing list ocaml-devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/ocaml-devel
[Bug 631302] FTBFS coq-8.2pl1-1.fc12
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=631302 Fedora Update System changed: What|Removed |Added Status|MODIFIED|ON_QA --- Comment #10 from Fedora Update System 2011-04-01 22:47:21 EDT --- Package coq-8.3pl1-1.fc15: * should fix your issue, * was pushed to the Fedora 15 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing coq-8.3pl1-1.fc15' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/coq-8.3pl1-1.fc15 then log in and leave karma (feedback). -- 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. ___ ocaml-devel mailing list ocaml-devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/ocaml-devel
[Bug 631302] FTBFS coq-8.2pl1-1.fc12
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=631302 Fedora Update System changed: What|Removed |Added Status|NEW |MODIFIED -- 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. ___ ocaml-devel mailing list ocaml-devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/ocaml-devel
[Bug 631302] FTBFS coq-8.2pl1-1.fc12
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=631302 --- Comment #9 from Fedora Update System 2011-04-01 17:13:12 EDT --- coq-8.3pl1-1.fc15 has been submitted as an update for Fedora 15. https://admin.fedoraproject.org/updates/coq-8.3pl1-1.fc15 -- 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. ___ ocaml-devel mailing list ocaml-devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/ocaml-devel
[Bug 631302] FTBFS coq-8.2pl1-1.fc12
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=631302 Stéphane Glondu changed: What|Removed |Added CC||st...@glondu.net --- Comment #8 from Stéphane Glondu 2010-11-04 08:26:07 EDT --- FYI, Coq 8.3 should build with make 3.82 + the following patch: https://gforge.inria.fr/scm/viewvc.php?view=rev&root=coq&revision=13566 -- 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. ___ ocaml-devel mailing list ocaml-devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/ocaml-devel
[Bug 631302] FTBFS coq-8.2pl1-1.fc12
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=631302 --- Comment #7 from Stéphane Glondu 2010-09-07 14:47:03 EDT --- Created attachment 445505 --> https://bugzilla.redhat.com/attachment.cgi?id=445505 Fix FTBFS with make 8.82 Well... the configure script is not very flexible about this... Attached is an untested patch. Could someone try it? If it's OK, I'll commit it upstream... -- 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. ___ ocaml-devel mailing list ocaml-devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/ocaml-devel
