From ifl2009 at shu.edu Sun Aug 2 13:30:13 2009 From: ifl2009 at shu.edu (IFL 2009) Date: Sun, 2 Aug 2009 09:30:13 -0400 Subject: IFL 2009: Call for Papers and Participation Message-ID: An HTML attachment was scrubbed... URL: From bugzilla at redhat.com Wed Aug 5 03:22:42 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Tue, 4 Aug 2009 23:22:42 -0400 Subject: [Bug 514309] virt-df2 blocks update of libguestfs In-Reply-To: References: Message-ID: <200908050322.n753MgB4003028@bz-web2.app.phx.redhat.com> 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=514309 --- Comment #4 from Fedora Update System 2009-08-04 23:22:41 EDT --- libguestfs-1.0.65-2.el5 has been pushed to the Fedora EPEL 5 testing repository. If problems still persist, please make note of it in this bug report. If you want to test the update, you can install it with su -c 'yum --enablerepo=updates-testing update libguestfs'. You can provide feedback for this update here: http://admin.fedoraproject.org/updates/EL-5/FEDORA-EPEL-2009-0149 -- 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. From bugzilla at redhat.com Wed Aug 5 19:47:18 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Wed, 5 Aug 2009 15:47:18 -0400 Subject: [Bug 515813] New: coq fails to build for ppc64 in both opt and non-opt versions Message-ID: 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 at gmail.com ReportedBy: amdunn at gmail.com QAContact: extras-qa at fedoraproject.org CC: amdunn at gmail.com, fedora-ocaml-list at 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. From bugzilla at redhat.com Fri Aug 7 08:34:05 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Fri, 7 Aug 2009 04:34:05 -0400 Subject: [Bug 514309] virt-df2 blocks update of libguestfs In-Reply-To: References: Message-ID: <200908070834.n778Y5EZ031192@bz-web2.app.phx.redhat.com> 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=514309 --- Comment #5 from Fedora Update System 2009-08-07 04:34:04 EDT --- libguestfs-1.0.66-4.el5 has been submitted as an update for Fedora EPEL 5. http://admin.fedoraproject.org/updates/libguestfs-1.0.66-4.el5 -- 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. From bugzilla at redhat.com Mon Aug 10 20:32:39 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Mon, 10 Aug 2009 16:32:39 -0400 Subject: [Bug 514309] virt-df2 blocks update of libguestfs In-Reply-To: References: Message-ID: <200908102032.n7AKWdxn022503@bz-web2.app.phx.redhat.com> 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=514309 --- Comment #6 from Fedora Update System 2009-08-10 16:32:38 EDT --- libguestfs-1.0.66-4.el5 has been pushed to the Fedora EPEL 5 testing repository. If problems still persist, please make note of it in this bug report. If you want to test the update, you can install it with su -c 'yum --enablerepo=updates-testing update libguestfs'. You can provide feedback for this update here: http://admin.fedoraproject.org/updates/EL-5/FEDORA-EPEL-2009-0249 -- 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. From amdunn at fedoraproject.org Wed Aug 5 21:33:00 2009 From: amdunn at fedoraproject.org (Alan Dunn) Date: Wed, 5 Aug 2009 21:33:00 +0000 (UTC) Subject: rpms/coq/devel .cvsignore, 1.5, 1.6 coq.spec, 1.12, 1.13 import.log, 1.8, 1.9 sources, 1.5, 1.6 RecTutorial.v, 1.1, NONE Message-ID: <20090805213300.50AA111C0347@cvs1.fedora.phx.redhat.com> Author: amdunn Update of /cvs/pkgs/rpms/coq/devel In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv7642/devel Modified Files: .cvsignore coq.spec import.log sources Removed Files: RecTutorial.v Log Message: * Wed Aug 05 2009 Alan Dunn - 8.2pl1-1 - New upstream release - Eliminated modification of tar_base_name that occurred for only version 8.2 - Added reference to bugzilla bug for ppc64 ExcludeArch - HTML form of documentation seems to no longer be distributed -> must generate Decided for consistency to generate all documentation - Additional file for iconv - documentation license file - Changed tutorial directory name, now also using bundled version of tutorial Index: .cvsignore =================================================================== RCS file: /cvs/pkgs/rpms/coq/devel/.cvsignore,v retrieving revision 1.5 retrieving revision 1.6 diff -u -p -r1.5 -r1.6 --- .cvsignore 19 Jun 2009 11:14:51 -0000 1.5 +++ .cvsignore 5 Aug 2009 21:32:59 -0000 1.6 @@ -1,7 +1 @@ -Coq-RecTutorial.pdf.gz -Coq-Library-8.2.pdf.gz -Coq-Reference-Manual-8.2.pdf.gz -Coq-Tutorial-8.2.pdf.gz -coq-8.2-1.tar.gz -coq-refman-html-8.2.tar.gz -coq-stdlib-html-8.2.tar.gz +coq-8.2pl1.tar.gz Index: coq.spec =================================================================== RCS file: /cvs/pkgs/rpms/coq/devel/coq.spec,v retrieving revision 1.12 retrieving revision 1.13 diff -u -p -r1.12 -r1.13 --- coq.spec 24 Jul 2009 19:29:30 -0000 1.12 +++ coq.spec 5 Aug 2009 21:33:00 -0000 1.13 @@ -23,39 +23,32 @@ %global _enable_debug_package 0 %global debug_package %{nil} -# The "-1" will have to be removed at the next version upgrade... this is -# just for 8.2 -%global tar_base_name coq-%{version}-1 - -Name: coq -Version: 8.2 -Release: 2%{?dist} -Summary: Coq proof management system - -Group: Applications/Engineering -License: LGPLv2 -URL: http://coq.inria.fr/ -Source0: http://coq.inria.fr/V%{version}/files/%{tar_base_name}.tar.gz -Source1: Coq-Library-%{version}.pdf.gz -Source2: Coq-Reference-Manual-%{version}.pdf.gz -Source3: Coq-Tutorial-%{version}.pdf.gz -Source4: Coq-RecTutorial.pdf.gz -Source5: coq-refman-html-%{version}.tar.gz -Source6: coq-stdlib-html-%{version}.tar.gz -Source7: RecTutorial.v -Source8: coqide.desktop -Source10: README.coq-emacs -Patch0: coq-makefile-strip-%{version}.patch -Patch1: coq-check-%{version}.patch -Patch2: coq-micromega-%{version}.patch -BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n) -BuildRequires: ocaml >= 3.08, ocaml-camlp5-devel, gtk2-devel, ocaml-lablgtk-devel, desktop-file-utils, emacs +%global tar_base_name coq-%{version} + +Name: coq +Version: 8.2pl1 +Release: 1%{?dist} +Summary: Coq proof management system + +Group: Applications/Engineering +License: LGPLv2 +URL: http://coq.inria.fr/ +Source0: http://coq.inria.fr/V%{version}/files/%{tar_base_name}.tar.gz +Source1: coqide.desktop +Source2: README.coq-emacs +Patch0: coq-makefile-strip-8.2.patch +Patch1: coq-check-8.2.patch +Patch2: coq-micromega-8.2.patch +BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n) +BuildRequires: ocaml >= 3.08, ocaml-camlp5-devel, gtk2-devel, ocaml-lablgtk-devel, desktop-file-utils, emacs # Needed for execstack, NOT for preventing stripping of custom # bytecode executables as before BuildRequires: prelink +# For documentation +BuildRequires: texlive-latex, texlive-texmf, hevea ExcludeArch: s390 s390x sparc64 -# Getting an error re: pthread_atfork - going to file a bugzilla bug -# and number will end up here +# ppc64 build fails in both opt and non-opt versions +# bz: 515813 ExcludeArch: ppc64 %description @@ -72,9 +65,9 @@ Coqide. # also the full name of the IDE) or "coq" and "ide" will find # this. (If the package were named "coq-ide", the former would fail.) %package coqide -Group: Applications/Engineering -Summary: Coqide IDE for Coq proof management system -Requires: coq +Group: Applications/Engineering +Summary: Coqide IDE for Coq proof management system +Requires: coq %description coqide Coq is a formal proof management system. It allows for the development @@ -85,9 +78,9 @@ modules and loaded into the system. This package provides Coqide, a lightweight IDE for Coq. %package doc -Group: Applications/Engineering -License: Open Publication -Summary: Documentation for Coq proof management system +Group: Applications/Engineering +License: Open Publication +Summary: Documentation for Coq proof management system %description doc Coq is a formal proof management system. It allows for the development @@ -104,9 +97,9 @@ main one, and one specifically on recurs for the latter is also included. %package emacs -Group: Applications/Engineering -Summary: Elisp files for Coq proof management system -Requires: coq, emacs +Group: Applications/Engineering +Summary: Elisp files for Coq proof management system +Requires: coq, emacs %description emacs Coq is a formal proof management system. It allows for the development @@ -161,19 +154,14 @@ This package provides emacs mode files f # Fix some files that are not in UTF-8 encoding -for f in CHANGES CREDITS COPYRIGHT; do +for f in CHANGES CREDITS COPYRIGHT doc/LICENSE; do mv $f $f.old; iconv -f ISO-8859-1 -t UTF-8 < $f.old > $f; rm $f.old done %global emacs_lispdir %{_datadir}/emacs/site-lisp %global tex_dir %{_datadir}/texmf/tex/latex/misc -# Seems like setup only sets up the main file -cp %SOURCE1 %SOURCE2 %SOURCE3 %SOURCE4 %SOURCE5 %SOURCE6 %SOURCE7 %SOURCE8 %SOURCE10 . -gunzip *.gz -for f in *.tar; do -tar xf $f -done +cp %SOURCE1 %SOURCE2 . %build %global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0) @@ -206,14 +194,23 @@ done # executables %global coq_sopath %{_libdir}/ocaml/stublibs +%global coqdocdir %{_defaultdocdir}/coq-%{version} + +./configure -prefix %{_prefix} \ + -libdir %{_datadir}/coq \ + -bindir %{_bindir} \ + -mandir %{_mandir} \ + -docdir %{coqdocdir} \ + -emacs %{emacs_lispdir} \ + -coqdocdir %{tex_dir} \ + %{opt_option} \ + -reals all \ + -camlp5dir %{_libdir}/ocaml/camlp5 \ + -coqrunbyteflags "-dllib -lcoqrun -dllpath %{coq_sopath}" -./configure -prefix %{_prefix} -libdir %{_datadir}/coq -bindir %{_bindir} -mandir %{_mandir} -emacs %{emacs_lispdir} -coqdocdir %{tex_dir} %{opt_option} -reals all -camlp5dir %{_libdir}/ocaml/camlp5 -coqrunbyteflags "-dllib -lcoqrun -dllpath %{coq_sopath}" export CAML_LD_LIBRARY_PATH=`pwd`/kernel/byterun:${CAML_LD_LIBRARY_PATH} make world VERBOSE=1 -# Fix permissions in the documentation -chmod -R a+rX refman stdlib - # Clear any execstack permissions that ELF binaries may have for f in bin/*; do file $f | grep "ELF" && execstack -c $f @@ -237,8 +234,8 @@ mkdir -p %{buildroot}%{coqdatadir} sed -i -e 's|ICON-LOCATION-BASE|%{coqdatadir}/ide/coq.png|' coqide.desktop -desktop-file-install --vendor="fedora" \ ---dir=%{buildroot}%{_datadir}/applications \ +desktop-file-install --vendor="fedora" \ +--dir=%{buildroot}%{_datadir}/applications \ coqide.desktop # Install main Coq .v files @@ -249,11 +246,16 @@ done # Install tutorial code -%global tutorialcodedir %{coqdatadir}/tutorial +%global tutorialcodedir %{coqdatadir}/RecTutorial %if %(test -d %{buildroot}%{tutorialcodedir} && echo 1 || echo 0) != 1 mkdir -p %{buildroot}%{tutorialcodedir} %endif -mv RecTutorial.v %{buildroot}%{tutorialcodedir} +cp doc/RecTutorial/RecTutorial.v %{buildroot}%{tutorialcodedir} + +# Install documentation not installed by install-doc in Makefile +for f in CHANGES COMPATIBILITY COPYRIGHT CREDITS INSTALL LICENSE README; +do cp $f %{buildroot}%{coqdocdir}; +done # Coq tries to move a .so into share - move it (easier than a makefile # patch) @@ -264,6 +266,9 @@ mv %{buildroot}%{coqdatadir}/dllcoqrun.s # Micromega contrib tries to sneak an executable into share - move it mv %{buildroot}%{coqdatadir}/contrib/micromega/csdpcert %{buildroot}%{_bindir} +# Don't install libcoqrun.a (it might not exist, but get rid of it if it does) +rm -f %{buildroot}%{coqdatadir}/libcoqrun.a + %clean rm -rf %{buildroot} @@ -276,18 +281,16 @@ rm -rf %{buildroot} %files %defattr(-,root,root,-) -%doc CHANGES COMPATIBILITY COPYRIGHT CREDITS INSTALL LICENSE README -%doc %{_mandir}/man1/* +# DON'T use the doc macro here or else it wipes out all the other documentation installed! +%{_mandir}/man1/* %{coqdatadir} -%if %(test -e %{buildroot}%{coqdatadir}/libcoqrun.a && echo 1 || echo 0) == 1 -%exclude %{coqdatadir}/libcoqrun.a -%endif %{coq_sopath}/dllcoqrun.so %{_bindir}/coq* %{_bindir}/gallina %{_bindir}/csdpcert %exclude %{_bindir}/coqide* %exclude %{coqdatadir}/ide +%exclude %{coqdatadir}/config/coq_config.cmo %if %{opt} %exclude %{coqdatadir}/*/*.cmxa %exclude %{coqdatadir}/*/*.cmx @@ -295,6 +298,17 @@ rm -rf %{buildroot} %exclude %{coqdatadir}/*/*.o %endif %{tex_dir}/coq* +# A few documentation files here should stay in the main package (and +# are excluded from doc), but the bulk of the documentation is in the +# doc subpackage +%dir %{coqdocdir} +%{coqdocdir}/CHANGES +%{coqdocdir}/COMPATIBILITY +%{coqdocdir}/COPYRIGHT +%{coqdocdir}/CREDITS +%{coqdocdir}/INSTALL +%{coqdocdir}/LICENSE +%{coqdocdir}/README %files coqide %defattr(-,root,root,-) @@ -308,15 +322,15 @@ rm -rf %{buildroot} %files doc %defattr(-,root,root,-) -%doc Coq-Library-%{version}.pdf -%doc Coq-Reference-Manual-%{version}.pdf -%doc Coq-Tutorial-%{version}.pdf -%doc Coq-RecTutorial.pdf -%dir %{coqdatadir} %{tutorialcodedir} -# Standard permissions with - in defattr make the manual unreadable... unknown how to fix -%doc refman -%doc stdlib +%{coqdocdir}/* +%exclude %{coqdocdir}/CHANGES +%exclude %{coqdocdir}/COMPATIBILITY +%exclude %{coqdocdir}/COPYRIGHT +%exclude %{coqdocdir}/CREDITS +%exclude %{coqdocdir}/INSTALL +%exclude %{coqdocdir}/LICENSE +%exclude %{coqdocdir}/README %files emacs %defattr(-,root,root,-) @@ -324,6 +338,16 @@ rm -rf %{buildroot} %doc README.coq-emacs %changelog +* Wed Aug 05 2009 Alan Dunn - 8.2pl1-1 +- New upstream release +- Eliminated modification of tar_base_name that occurred for only version 8.2 +- Added reference to bugzilla bug for ppc64 ExcludeArch +- HTML form of documentation seems to no longer be distributed -> must generate + Decided for consistency to generate all documentation +- Additional file for iconv - documentation license file +- Changed tutorial directory name, now also using bundled version + of tutorial + * Fri Jul 24 2009 Fedora Release Engineering - 8.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild Index: import.log =================================================================== RCS file: /cvs/pkgs/rpms/coq/devel/import.log,v retrieving revision 1.8 retrieving revision 1.9 diff -u -p -r1.8 -r1.9 --- import.log 19 Jun 2009 11:14:53 -0000 1.8 +++ import.log 5 Aug 2009 21:33:00 -0000 1.9 @@ -6,3 +6,4 @@ coq-8_1pl3-5_fc9:HEAD:coq-8.1pl3-5.fc9.s coq-8_1pl4-2_fc10:HEAD:coq-8.1pl4-2.fc10.src.rpm:1236185498 coq-8_1pl4-3_fc10:HEAD:coq-8.1pl4-3.fc10.src.rpm:1236186130 coq-8_2-1_fc10:HEAD:coq-8.2-1.fc10.src.rpm:1245409718 +coq-8_2pl1-1_fc10:HEAD:coq-8.2pl1-1.fc10.src.rpm:1249507545 Index: sources =================================================================== RCS file: /cvs/pkgs/rpms/coq/devel/sources,v retrieving revision 1.5 retrieving revision 1.6 diff -u -p -r1.5 -r1.6 --- sources 19 Jun 2009 11:14:53 -0000 1.5 +++ sources 5 Aug 2009 21:33:00 -0000 1.6 @@ -1,7 +1 @@ -0e3d5eac23416ec75dd59fabdcc1367c Coq-RecTutorial.pdf.gz -127760a6d9b9bcd213cdd58ab191a363 Coq-Library-8.2.pdf.gz -b97ab411eb3288ded1d9f8c27e308115 Coq-Reference-Manual-8.2.pdf.gz -29b7e61e742b17c904739f546223f2e0 Coq-Tutorial-8.2.pdf.gz -6907d97342e7b547e2e6d905a474235d coq-8.2-1.tar.gz -cc0005c859cbfd574f22242ec9557dc5 coq-refman-html-8.2.tar.gz -9ff70e125ba31d53b866b8b322031ac6 coq-stdlib-html-8.2.tar.gz +36eed48bc63ada8abf27f96eb126906c coq-8.2pl1.tar.gz --- RecTutorial.v DELETED --- From bugzilla at redhat.com Wed Aug 12 09:38:51 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Wed, 12 Aug 2009 05:38:51 -0400 Subject: [Bug 516997] New: Totally information free description of the package Message-ID: Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. Summary: Totally information free description of the package https://bugzilla.redhat.com/show_bug.cgi?id=516997 Summary: Totally information free description of the package Product: Fedora Version: 11 Platform: All OS/Version: Linux Status: NEW Severity: medium Priority: low Component: emacs-common-tuareg AssignedTo: rjones at redhat.com ReportedBy: mcepl at redhat.com QAContact: extras-qa at fedoraproject.org CC: rjones at redhat.com, fedora-ocaml-list at redhat.com Classification: Fedora Target Release: --- Description of problem: Current Description field: This package contains the byte compiled elisp packages to run Tuareg-mode with GNU Emacs. doesn't tell me anything about the package what I wouldn't already know and provides no information which would be interesting. What about: ===================== Tuareg is a Caml mode for GNU Emacs and XEmacs. It handles automatic indentation of Objective Caml and Camllight codes. Key parts of the code are hilighted using Font-Lock. Support to run an interactive Caml toplevel and debbuger is provided. Install this package if you need to edit Caml code in Emacs. ====================== -- 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. From bugzilla at redhat.com Wed Aug 12 09:54:56 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Wed, 12 Aug 2009 05:54:56 -0400 Subject: [Bug 516997] Totally information free description of the package In-Reply-To: References: Message-ID: <200908120954.n7C9sudU028889@bz-web1.app.phx.redhat.com> 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=516997 --- Comment #1 from Richard W.M. Jones 2009-08-12 05:54:55 EDT --- Created an attachment (id=357142) --> (https://bugzilla.redhat.com/attachment.cgi?id=357142) tuareg-description.patch This is the patch that I'm about to apply to F11 and Rawhide branches. -- 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. From bugzilla at redhat.com Wed Aug 12 10:05:07 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Wed, 12 Aug 2009 06:05:07 -0400 Subject: [Bug 516997] Totally information free description of the package In-Reply-To: References: Message-ID: <200908121005.n7CA57V8028143@bz-web2.app.phx.redhat.com> 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=516997 --- Comment #2 from Fedora Update System 2009-08-12 06:05:06 EDT --- emacs-common-tuareg-1.45.6-7.fc11.1 has been submitted as an update for Fedora 11. http://admin.fedoraproject.org/updates/emacs-common-tuareg-1.45.6-7.fc11.1 -- 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. From bugzilla at redhat.com Wed Aug 12 10:22:44 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Wed, 12 Aug 2009 06:22:44 -0400 Subject: [Bug 516997] Totally information free description of the package In-Reply-To: References: Message-ID: <200908121022.n7CAMiBM031821@bz-web2.app.phx.redhat.com> 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=516997 --- Comment #3 from Matej Cepl 2009-08-12 06:22:43 EDT --- Great, thanks! -- 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. From bugzilla at redhat.com Wed Aug 12 20:53:34 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Wed, 12 Aug 2009 16:53:34 -0400 Subject: [Bug 509531] CVE-2009-2295 ocaml-camlimages: PNG reader multiple integer overflows (oCERT-2009-009) In-Reply-To: References: Message-ID: <200908122053.n7CKrYPk000852@bz-web1.app.phx.redhat.com> 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=509531 --- Comment #16 from Fedora Update System 2009-08-12 16:53:33 EDT --- ocaml-camlimages-3.0.1-7.fc11.2 has been pushed to the Fedora 11 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. From bugzilla at redhat.com Wed Aug 12 20:54:50 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Wed, 12 Aug 2009 16:54:50 -0400 Subject: [Bug 516997] Totally information free description of the package In-Reply-To: References: Message-ID: <200908122054.n7CKsoBV001246@bz-web1.app.phx.redhat.com> 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=516997 Fedora Update System changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ON_QA --- Comment #4 from Fedora Update System 2009-08-12 16:54:49 EDT --- emacs-common-tuareg-1.45.6-7.fc11.1 has been pushed to the Fedora 11 testing repository. If problems still persist, please make note of it in this bug report. If you want to test the update, you can install it with su -c 'yum --enablerepo=updates-testing update emacs-common-tuareg'. You can provide feedback for this update here: http://admin.fedoraproject.org/updates/F11/FEDORA-2009-8506 -- 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. From ifl2009 at shu.edu Thu Aug 13 14:14:12 2009 From: ifl2009 at shu.edu (IFL 2009) Date: Thu, 13 Aug 2009 10:14:12 -0400 Subject: IFL 2009: Final Call for Papers and Participation Message-ID: An HTML attachment was scrubbed... URL: From bugzilla at redhat.com Fri Aug 14 09:13:48 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Fri, 14 Aug 2009 05:13:48 -0400 Subject: [Bug 514309] virt-df2 blocks update of libguestfs In-Reply-To: References: Message-ID: <200908140913.n7E9DmEY005945@bz-web2.app.phx.redhat.com> 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=514309 --- Comment #7 from Fedora Update System 2009-08-14 05:13:47 EDT --- libguestfs-1.0.67-1.el5 has been submitted as an update for Fedora EPEL 5. http://admin.fedoraproject.org/updates/libguestfs-1.0.67-1.el5 -- 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. From bugzilla at redhat.com Tue Aug 18 00:23:16 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Mon, 17 Aug 2009 20:23:16 -0400 Subject: [Bug 514309] virt-df2 blocks update of libguestfs In-Reply-To: References: Message-ID: <200908180023.n7I0NG1n002980@bz-web1.app.phx.redhat.com> 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=514309 Fedora Update System changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Fixed In Version| |1.0.65-2.el5 Resolution| |ERRATA -- 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. From bugzilla at redhat.com Tue Aug 18 00:22:45 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Mon, 17 Aug 2009 20:22:45 -0400 Subject: [Bug 514309] virt-df2 blocks update of libguestfs In-Reply-To: References: Message-ID: <200908180022.n7I0MjKr009937@bz-web2.app.phx.redhat.com> 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=514309 --- Comment #8 from Fedora Update System 2009-08-17 20:22:44 EDT --- libguestfs-1.0.65-2.el5 has been pushed to the Fedora EPEL 5 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. From bugzilla at redhat.com Wed Aug 19 21:55:17 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Wed, 19 Aug 2009 17:55:17 -0400 Subject: [Bug 514309] virt-df2 blocks update of libguestfs In-Reply-To: References: Message-ID: <200908192155.n7JLtHZY015574@bz-web1.app.phx.redhat.com> 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=514309 --- Comment #9 from Fedora Update System 2009-08-19 17:55:16 EDT --- libguestfs-1.0.68-5.el5 has been submitted as an update for Fedora EPEL 5. http://admin.fedoraproject.org/updates/libguestfs-1.0.68-5.el5 -- 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. From rjones at fedoraproject.org Wed Aug 12 09:57:04 2009 From: rjones at fedoraproject.org (Richard W.M. Jones) Date: Wed, 12 Aug 2009 09:57:04 -0000 Subject: rpms/emacs-common-tuareg/F-11 emacs-common-tuareg.spec,1.6,1.7 Message-ID: <20090812095647.B8DC511C01EA@cvs1.fedora.phx.redhat.com> Author: rjones Update of /cvs/pkgs/rpms/emacs-common-tuareg/F-11 In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv26638/F-11 Modified Files: emacs-common-tuareg.spec Log Message: Improve description (RHBZ#516997). Index: emacs-common-tuareg.spec =================================================================== RCS file: /cvs/pkgs/rpms/emacs-common-tuareg/F-11/emacs-common-tuareg.spec,v retrieving revision 1.6 retrieving revision 1.7 diff -u -p -r1.6 -r1.7 --- emacs-common-tuareg.spec 24 Feb 2009 14:42:02 -0000 1.6 +++ emacs-common-tuareg.spec 12 Aug 2009 09:56:47 -0000 1.7 @@ -30,7 +30,7 @@ Name: emacs-common-%{pkg} Version: 1.45.6 -Release: 7%{?dist} +Release: 7%{?dist}.1 Summary: Emacs and XEmacs mode for editing ocaml Group: Development/Libraries @@ -52,9 +52,10 @@ Requires: ocaml-emacs %description -%{pkgname} is an add-on package for GNU Emacs and XEmacs for -editing OCaml source files. It is much better than the -default mode included in Emacs or the one provided by INRIA. +Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles +automatic indentation of Objective Caml and Caml Light code. Key +parts of the code are highlighted using Font-Lock. Support to run an +interactive Caml toplevel and debbuger is provided. This package contains the common files. Install emacs-%{pkg} to get the complete package. @@ -67,8 +68,12 @@ Requires: emacs(bin) >= %{emacs_ve Requires: emacs-common-%{pkg} = %{version}-%{release} %description -n emacs-%{pkg} -This package contains the byte compiled elisp packages to run -%{pkgname} with GNU Emacs. +Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles +automatic indentation of Objective Caml and Caml Light code. Key +parts of the code are highlighted using Font-Lock. Support to run an +interactive Caml toplevel and debbuger is provided. + +Install this package if you need to edit OCaml code in Emacs. %package -n emacs-%{pkg}-el @@ -90,8 +95,12 @@ Requires: xemacs(bin) >= %{xemacs_ Requires: emacs-common-%{pkg} = %{version}-%{release} %description -n xemacs-%{pkg} -This package contains the byte compiled elisp packages to use -%{pkgname} with XEmacs. +Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles +automatic indentation of Objective Caml and Caml Light code. Key +parts of the code are highlighted using Font-Lock. Support to run an +interactive Caml toplevel and debbuger is provided. + +Install this package if you need to edit OCaml code in XEmacs. %package -n xemacs-%{pkg}-el @@ -173,6 +182,9 @@ rm -rf $RPM_BUILD_ROOT %changelog +* Wed Aug 12 2009 Richard W.M. Jones - 1.45.6-7.fc11.1 +- Improve description (RHBZ#516997). + * Tue Feb 24 2009 Fedora Release Engineering - 1.45.6-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild From rjones at fedoraproject.org Wed Aug 12 09:57:13 2009 From: rjones at fedoraproject.org (Richard W.M. Jones) Date: Wed, 12 Aug 2009 09:57:13 -0000 Subject: rpms/emacs-common-tuareg/devel emacs-common-tuareg.spec,1.7,1.8 Message-ID: <20090812095647.DAF4411C02C6@cvs1.fedora.phx.redhat.com> Author: rjones Update of /cvs/pkgs/rpms/emacs-common-tuareg/devel In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv26638/devel Modified Files: emacs-common-tuareg.spec Log Message: Improve description (RHBZ#516997). Index: emacs-common-tuareg.spec =================================================================== RCS file: /cvs/pkgs/rpms/emacs-common-tuareg/devel/emacs-common-tuareg.spec,v retrieving revision 1.7 retrieving revision 1.8 diff -u -p -r1.7 -r1.8 --- emacs-common-tuareg.spec 24 Jul 2009 22:04:07 -0000 1.7 +++ emacs-common-tuareg.spec 12 Aug 2009 09:56:47 -0000 1.8 @@ -30,7 +30,7 @@ Name: emacs-common-%{pkg} Version: 1.45.6 -Release: 8%{?dist} +Release: 9%{?dist} Summary: Emacs and XEmacs mode for editing ocaml Group: Development/Libraries @@ -52,9 +52,10 @@ Requires: ocaml-emacs %description -%{pkgname} is an add-on package for GNU Emacs and XEmacs for -editing OCaml source files. It is much better than the -default mode included in Emacs or the one provided by INRIA. +Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles +automatic indentation of Objective Caml and Caml Light code. Key +parts of the code are highlighted using Font-Lock. Support to run an +interactive Caml toplevel and debbuger is provided. This package contains the common files. Install emacs-%{pkg} to get the complete package. @@ -67,8 +68,12 @@ Requires: emacs(bin) >= %{emacs_ve Requires: emacs-common-%{pkg} = %{version}-%{release} %description -n emacs-%{pkg} -This package contains the byte compiled elisp packages to run -%{pkgname} with GNU Emacs. +Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles +automatic indentation of Objective Caml and Caml Light code. Key +parts of the code are highlighted using Font-Lock. Support to run an +interactive Caml toplevel and debbuger is provided. + +Install this package if you need to edit OCaml code in Emacs. %package -n emacs-%{pkg}-el @@ -90,8 +95,12 @@ Requires: xemacs(bin) >= %{xemacs_ Requires: emacs-common-%{pkg} = %{version}-%{release} %description -n xemacs-%{pkg} -This package contains the byte compiled elisp packages to use -%{pkgname} with XEmacs. +Tuareg is an OCaml mode for GNU Emacs and XEmacs. It handles +automatic indentation of Objective Caml and Caml Light code. Key +parts of the code are highlighted using Font-Lock. Support to run an +interactive Caml toplevel and debbuger is provided. + +Install this package if you need to edit OCaml code in XEmacs. %package -n xemacs-%{pkg}-el @@ -173,6 +182,9 @@ rm -rf $RPM_BUILD_ROOT %changelog +* Wed Aug 12 2009 Richard W.M. Jones - 1.45.6-9 +- Improve description (RHBZ#516997). + * Fri Jul 24 2009 Fedora Release Engineering - 1.45.6-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild