From bugzilla at redhat.com Mon Jun 1 12:02:44 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Mon, 1 Jun 2009 08:02:44 -0400 Subject: [Bug 493796] [virt-ctrl] Translations for Fedora 11! In-Reply-To: References: Message-ID: <200906011202.n51C2ico011598@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=493796 --- Comment #29 from Felix 2009-06-01 08:02:42 EDT --- Hi richard, Pls commit Tamil (ta) Translation (In reply to comment #26) > Tamil (ta) file is not committed into upstream. Pls have a look it was > submitted on 2009-04-07. -- 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 Tue Jun 2 07:50:19 2009 From: rjones at fedoraproject.org (Richard W.M. Jones) Date: Tue, 2 Jun 2009 07:50:19 +0000 (UTC) Subject: rpms/ocaml/devel ocaml.spec,1.53,1.54 Message-ID: <20090602075019.B38F77012F@cvs1.fedora.phx.redhat.com> Author: rjones Update of /cvs/pkgs/rpms/ocaml/devel In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv17636 Modified Files: ocaml.spec Log Message: Move dllgraphics.so into runtime package (RHBZ#468506) Index: ocaml.spec =================================================================== RCS file: /cvs/pkgs/rpms/ocaml/devel/ocaml.spec,v retrieving revision 1.53 retrieving revision 1.54 diff -u -p -r1.53 -r1.54 --- ocaml.spec 26 May 2009 13:09:01 -0000 1.53 +++ ocaml.spec 2 Jun 2009 07:49:49 -0000 1.54 @@ -2,7 +2,7 @@ Name: ocaml Version: 3.11.1 -Release: 0.rc0.2%{?dist} +Release: 0.rc0.3%{?dist} Summary: Objective Caml compiler and programming environment @@ -334,7 +334,6 @@ fi %{_libdir}/ocaml/fedora-ocaml-release %attr(755,root,root) %{_prefix}/lib/rpm/* %exclude %{_libdir}/ocaml/graphicsX11.cmi -%exclude %{_libdir}/ocaml/stublibs/dllgraphics.so %exclude %{_libdir}/ocaml/stublibs/dlllabltk.so %exclude %{_libdir}/ocaml/stublibs/dlltkanim.so %doc README LICENSE Changes @@ -349,7 +348,6 @@ fi %defattr(-,root,root,-) %{_libdir}/ocaml/graphicsX11.cmi %{_libdir}/ocaml/graphicsX11.mli -%{_libdir}/ocaml/stublibs/dllgraphics.so %files labltk @@ -439,6 +437,9 @@ fi %changelog +* Tue Jun 2 2009 Richard W.M. Jones - 3.11.1-0.rc0.3 +- Move dllgraphics.so into runtime package (RHBZ#468506). + * Tue May 26 2009 Richard W.M. Jones - 3.11.1-0.rc0.2 - Backport ocamlbuild -where fix. From rjones at fedoraproject.org Tue Jun 2 07:50:16 2009 From: rjones at fedoraproject.org (Richard W.M. Jones) Date: Tue, 2 Jun 2009 07:50:16 +0000 (UTC) Subject: rpms/ocaml/F-11 ocaml.spec,1.51,1.52 Message-ID: <20090602075016.12BCE7012F@cvs1.fedora.phx.redhat.com> Author: rjones Update of /cvs/pkgs/rpms/ocaml/F-11 In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv17612 Modified Files: ocaml.spec Log Message: Move dllgraphics.so into runtime package (RHBZ#468506) Index: ocaml.spec =================================================================== RCS file: /cvs/pkgs/rpms/ocaml/F-11/ocaml.spec,v retrieving revision 1.51 retrieving revision 1.52 diff -u -p -r1.51 -r1.52 --- ocaml.spec 26 Feb 2009 06:43:42 -0000 1.51 +++ ocaml.spec 2 Jun 2009 07:49:45 -0000 1.52 @@ -2,7 +2,7 @@ Name: ocaml Version: 3.11.0 -Release: 2%{?dist} +Release: 3%{?dist} Summary: Objective Caml compiler and programming environment @@ -341,7 +341,6 @@ fi %{_libdir}/ocaml/fedora-ocaml-release %attr(755,root,root) %{_prefix}/lib/rpm/* %exclude %{_libdir}/ocaml/graphicsX11.cmi -%exclude %{_libdir}/ocaml/stublibs/dllgraphics.so %exclude %{_libdir}/ocaml/stublibs/dlllabltk.so %exclude %{_libdir}/ocaml/stublibs/dlltkanim.so %doc README LICENSE Changes @@ -356,7 +355,6 @@ fi %defattr(-,root,root,-) %{_libdir}/ocaml/graphicsX11.cmi %{_libdir}/ocaml/graphicsX11.mli -%{_libdir}/ocaml/stublibs/dllgraphics.so %files labltk @@ -446,6 +444,9 @@ fi %changelog +* Tue Jun 2 2009 Richard W.M. Jones - 3.11.0-3 +- Move dllgraphics.so into runtime package (RHBZ#468506). + * Wed Feb 25 2009 Fedora Release Engineering - 3.11.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild From rjones at fedoraproject.org Wed Jun 3 18:12:23 2009 From: rjones at fedoraproject.org (Richard W.M. Jones) Date: Wed, 3 Jun 2009 18:12:23 +0000 (UTC) Subject: rpms/ocaml/devel ocaml.spec,1.54,1.55 Message-ID: <20090603181223.24001700DA@cvs1.fedora.phx.redhat.com> Author: rjones Update of /cvs/pkgs/rpms/ocaml/devel In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv6793 Modified Files: ocaml.spec Log Message: * Wed Jun 3 2009 Richard W.M. Jones - 3.11.1-0.rc1.1 - New upstream release candidate 3.11.1+rc1. - Remove ocamlbuild -where patch (now upstream). Index: ocaml.spec =================================================================== RCS file: /cvs/pkgs/rpms/ocaml/devel/ocaml.spec,v retrieving revision 1.54 retrieving revision 1.55 diff -u -p -r1.54 -r1.55 --- ocaml.spec 2 Jun 2009 07:49:49 -0000 1.54 +++ ocaml.spec 3 Jun 2009 18:11:52 -0000 1.55 @@ -2,7 +2,7 @@ Name: ocaml Version: 3.11.1 -Release: 0.rc0.3%{?dist} +Release: 0.rc1.1%{?dist} Summary: Objective Caml compiler and programming environment @@ -11,7 +11,8 @@ License: QPL and (LGPLv2+ with ex URL: http://www.ocaml.org -Source0: http://caml.inria.fr/distrib/ocaml-3.11/ocaml-%{version}+rc0.tar.gz +Source0: ftp://ftp.inria.fr/INRIA/cristal/ocaml/ocaml-3.11/ocaml-3.11.1+rc1.tar.gz +#Source0: http://caml.inria.fr/distrib/ocaml-3.11/ocaml-%{version}.tar.bz2 Source1: http://caml.inria.fr/distrib/ocaml-3.11/ocaml-3.11-refman.html.tar.gz Source2: http://caml.inria.fr/distrib/ocaml-3.11/ocaml-3.11-refman.pdf Source3: http://caml.inria.fr/distrib/ocaml-3.11/ocaml-3.11-refman.info.tar.gz @@ -24,9 +25,6 @@ Patch1: ocaml-user-cflags.patch # Support for PPC64 platform by David Woodhouse: Patch3: ocaml-3.11.0-ppc64.patch -# Backport ocamlbuild -where fix to 3.11.1+rc0. -Patch4: ocamlbuild_where.ml.diff - BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n) BuildRequires: ncurses-devel @@ -192,13 +190,12 @@ man pages and info files. %prep -%setup -q -T -b 0 -n %{name}-%{version}rc0 -%setup -q -T -D -a 1 -n %{name}-%{version}rc0 -%setup -q -T -D -a 3 -n %{name}-%{version}rc0 +%setup -q -T -b 0 -n %{name}-%{version}+rc1 +%setup -q -T -D -a 1 -n %{name}-%{version}+rc1 +%setup -q -T -D -a 3 -n %{name}-%{version}+rc1 %patch0 -p1 -b .rpath %patch1 -p1 -b .cflags %patch3 -p1 -b .ppc64 -%patch4 -p1 -b .ocamlbuild cp %{SOURCE2} refman.pdf @@ -437,6 +434,10 @@ fi %changelog +* Wed Jun 3 2009 Richard W.M. Jones - 3.11.1-0.rc1.1 +- New upstream release candidate 3.11.1+rc1. +- Remove ocamlbuild -where patch (now upstream). + * Tue Jun 2 2009 Richard W.M. Jones - 3.11.1-0.rc0.3 - Move dllgraphics.so into runtime package (RHBZ#468506). From rjones at fedoraproject.org Wed Jun 3 18:21:02 2009 From: rjones at fedoraproject.org (Richard W.M. Jones) Date: Wed, 3 Jun 2009 18:21:02 +0000 (UTC) Subject: rpms/ocaml/devel .cvsignore, 1.14, 1.15 ocaml.spec, 1.55, 1.56 sources, 1.17, 1.18 ocamlbuild_where.ml.diff, 1.1, NONE Message-ID: <20090603182102.CC3FC700DA@cvs1.fedora.phx.redhat.com> Author: rjones Update of /cvs/pkgs/rpms/ocaml/devel In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv8897 Modified Files: .cvsignore ocaml.spec sources Removed Files: ocamlbuild_where.ml.diff Log Message: Remember to upload the source this time. Index: .cvsignore =================================================================== RCS file: /cvs/pkgs/rpms/ocaml/devel/.cvsignore,v retrieving revision 1.14 retrieving revision 1.15 diff -u -p -r1.14 -r1.15 --- .cvsignore 22 May 2009 15:25:54 -0000 1.14 +++ .cvsignore 3 Jun 2009 18:20:32 -0000 1.15 @@ -2,3 +2,4 @@ ocaml-3.11-refman.html.tar.gz ocaml-3.11-refman.info.tar.gz ocaml-3.11-refman.pdf ocaml-3.11.1+rc0.tar.gz +ocaml-3.11.1+rc1.tar.gz Index: ocaml.spec =================================================================== RCS file: /cvs/pkgs/rpms/ocaml/devel/ocaml.spec,v retrieving revision 1.55 retrieving revision 1.56 diff -u -p -r1.55 -r1.56 --- ocaml.spec 3 Jun 2009 18:11:52 -0000 1.55 +++ ocaml.spec 3 Jun 2009 18:20:32 -0000 1.56 @@ -2,7 +2,7 @@ Name: ocaml Version: 3.11.1 -Release: 0.rc1.1%{?dist} +Release: 0.rc1.2%{?dist} Summary: Objective Caml compiler and programming environment @@ -434,6 +434,9 @@ fi %changelog +* Wed Jun 3 2009 Richard W.M. Jones - 3.11.1-0.rc1.2 +- Remember to upload the source this time. + * Wed Jun 3 2009 Richard W.M. Jones - 3.11.1-0.rc1.1 - New upstream release candidate 3.11.1+rc1. - Remove ocamlbuild -where patch (now upstream). Index: sources =================================================================== RCS file: /cvs/pkgs/rpms/ocaml/devel/sources,v retrieving revision 1.17 retrieving revision 1.18 diff -u -p -r1.17 -r1.18 --- sources 22 May 2009 15:25:54 -0000 1.17 +++ sources 3 Jun 2009 18:20:32 -0000 1.18 @@ -1,4 +1,4 @@ 7e20778259f87ab5e7cb60d2a17c657c ocaml-3.11-refman.html.tar.gz 3fcfedf63a852f502a10eac547c9042d ocaml-3.11-refman.info.tar.gz 076a163e511e575fc384ad96394760a2 ocaml-3.11-refman.pdf -45f626b33bec543a40abbf6afa1a6d96 ocaml-3.11.1+rc0.tar.gz +e7bf9cbdfc62c71cb13b716d77aebc76 ocaml-3.11.1+rc1.tar.gz --- ocamlbuild_where.ml.diff DELETED --- From bugzilla at redhat.com Thu Jun 4 06:34:06 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Thu, 4 Jun 2009 02:34:06 -0400 Subject: [Bug 493796] [virt-ctrl] Translations for Fedora 11! In-Reply-To: References: Message-ID: <200906040634.n546Y6i5022137@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=493796 Amitakhya Phukan changed: What |Removed |Added ---------------------------------------------------------------------------- Attachment #338014|0 |1 is obsolete| | --- Comment #30 from Amitakhya Phukan 2009-06-04 02:34:05 EDT --- Created an attachment (id=346494) --> (https://bugzilla.redhat.com/attachment.cgi?id=346494) Updated Assamese translation for virt-ctrl module -- 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 Jun 8 06:11:15 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Mon, 8 Jun 2009 02:11:15 -0400 Subject: [Bug 493796] [virt-ctrl] Translations for Fedora 11! In-Reply-To: References: Message-ID: <200906080611.n586BF0f002105@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=493796 --- Comment #31 from Ankit Patel 2009-06-08 02:11:14 EDT --- Hi Richard, Can you please upstream the latest submitted translations? 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 Tue Jun 9 07:10:34 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Tue, 9 Jun 2009 03:10:34 -0400 Subject: [Bug 493799] [virt-top] Translations for Fedora 11! In-Reply-To: References: Message-ID: <200906090710.n597AYMi013827@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=493799 Shankar Prasad changed: What |Removed |Added ---------------------------------------------------------------------------- Attachment #341124|0 |1 is obsolete| | --- Comment #13 from Shankar Prasad 2009-06-09 03:10:32 EDT --- Created an attachment (id=346973) --> (https://bugzilla.redhat.com/attachment.cgi?id=346973) Updated Kannada (kn) translations -- 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 Jun 9 07:13:06 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Tue, 9 Jun 2009 03:13:06 -0400 Subject: [Bug 493796] [virt-ctrl] Translations for Fedora 11! In-Reply-To: References: Message-ID: <200906090713.n597D62l020523@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=493796 Shankar Prasad changed: What |Removed |Added ---------------------------------------------------------------------------- Attachment #341123|0 |1 is obsolete| | --- Comment #32 from Shankar Prasad 2009-06-09 03:13:05 EDT --- Created an attachment (id=346974) --> (https://bugzilla.redhat.com/attachment.cgi?id=346974) Updated Kannada (kn) translation -- 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 Matt_Domsch at dell.com Wed Jun 10 22:07:42 2009 From: Matt_Domsch at dell.com (Matt Domsch) Date: Wed, 10 Jun 2009 17:07:42 -0500 Subject: Fedora rawhide rebuild in mock status 2009-06-08 i386 Message-ID: <20090610220742.GA2204@mock.linuxdev.us.dell.com> Fedora Rawhide-in-Mock Build Results for i386 using the first rawhide of the Fedora 12 development cycle, cut on 6/8/2008. Full logs at http://linux.dell.com/files/fedora/FixBuildRequires/ 2 Open Bugs which now build, and can be marked CLOSED RAWHIDE: pan: [u'476250'] ruby-rpm: [u'465103'] Total packages: 7808 Number failed to build: 355 Number expected to fail due to ExclusiveArch or ExcludeArch: 17 Leaving: 338 Of those expected to have worked... Without a bug filed: 334 ---------------------------------- Django-1.0.2-3.fc11 (build/make) salimma,smilner GtkAda-2.10.2-2.fc11 (build/make) gemi PyKDE-3.16.2-3.fc11 (build/make) rdieter,jamatos PyQuante-1.6.3-1.fc11 (build/make) jussilehtola PyQwt-5.1.0-3.fc11 (build/make) tadej R-BSgenome.Celegans.UCSC.ce2-1.2.0-5 (build/make) pingou R-BSgenome.Dmelanogaster.FlyBase.r51-1.3.1-3 (build/make) pingou R-BufferedMatrixMethods-1.3.0-4.fc11 (build/make) pingou R-RScaLAPACK-0.5.1-19.fc11 (build/make) spot R-hgu95av2probe-2.0.0-1.fc9 (build/make) pingou ScientificPython-2.8-4.fc11 (build/make) jspaleta SimGear-1.9.1-5.fc12 (build/make) spot,bellet UnihanDb-5.1.0-7.fc11.1 (build/make) dchen,i18n-team almanah-0.5.0-1.fc11 (build/make) lokthare amanda-2.6.0p2-9.fc12 (build/make) dnovotny arj-3.10.22-8.fc12 (build/make) robert,lyosnorezel arts-1.5.10-5.fc11 (build/make) than,rdieter,kkofler,tuxbrewr artwiz-aleczapka-fonts-1.3-7.fc11 (build/make) spot,fonts-sig,awjb asio-1.2.0-2.fc11 (build/make) uwog asterisk-sounds-core-1.4.15-1.fc11 (build/make) jcollie atasm-1.06-2.fc11 (build/make) sharkcz atlas-3.8.3-4.fc12 (build/make) deji,deji audacious-1.5.1-8.fc12 (build/make) ertzing audacious-plugin-fc-0.3-2 (build/make) mschwendt audacious-plugins-1.5.1-5.fc12 (build/make) ertzing auriferous-1.0.1-7.fc11 (build/make) jwrdegoede autodir-0.99.9-7.fc11 (build/make) thias awn-extras-applets-0.3.2.1-8.fc11 (build/make) phuang,sindrepb axis-1.2.1-4.1.fc10 (build/make) pcheung baekmuk-ttf-fonts-2.2-21.fc11 (build/make) cchance,fonts-sig,i18n-team,petersen bareftp-0.2.2-2.fc12 (build/make) itamarjp,cassmodiah batik-1.7-4.fc11 (build/make) langel,fitzsim beagle-0.3.9-6.fc11 (build/make) bigboard-0.6.4-9.fc11 (build/make) walters blacs-1.1-31.fc11 (build/make) spot bmpx-0.40.14-8.fc11 (build/make) akahl,cheese bug-buddy-2.27.1-2.fc12 (unpackaged_files/python-egg-info?) rstrode ccrtp-1.7.1-1.fc11 (build/make) ixs cdrkit-1.1.9-4.fc11 (build/make) rrakus cernlib-2006-32.fc11 (build/make) limb,pertusus chipmunk-4.1.0-6.fc11 (build/make) limb classpathx-jaf-1.0-12.fc10 (build/make) devrim,dwalluck clutter-cairo-0.8.2-3.fc11 (build/make) allisson clutter-cairomm-0.7.4-2.fc11 (build/make) denis clutter-gst-0.8.0-4.fc11 (build/make) allisson clutter-gtkmm-0.7.4-2.fc11 (build/make) denis cluttermm-0.7.5-2.fc11 (build/make) denis codeblocks-8.02-7.fc11 (build/make) sharkcz compat-db-4.6.21-5.fc10 (build/make) jnovy,pmatilai compat-erlang-R10B-13.11.fc11 (build/make) gemi compat-wxGTK26-2.6.4-7 (build/make) mschwendt cone-0.75-5.fc11 (build/make) steve conky-1.7.0-1.fc12 (build/make) mlichvar,pertusus,mlichvar couchdb-0.9.0-2.fc12 (build/make) allisson cuetools-1.4.0-0.3.svn305.fc11 (build/make) stingray dap-hdf4_handler-3.7.9-2.fc11 (build/make) pertusus,pertusus dbus-c++-0.5.0-0.8.20090203git13281b3.fc11 (build/make) drago01 ddskk-12.2.0-12.fc11 (build/make) petersen,i18n-team django-tagging-0.3-1.fc11.20080217svnr154 (build/make) ivazquez ecl-0.9l-4.fc11 (build/make) gemi eclipse-cdt-5.0.2-2.fc11 (build/make) jjohnstn eclipse-checkstyle-4.0.1-12.fc11 (build/make) rmyers,overholt eigen2-2.0.52-0.1.20090518.fc12 (build/make) rdieter,kkofler,mathstuf emacs-mew-6.2.51-2.fc11 (build/make) tagoh ember-0.5.6-1.fc12 (build/make) atorkhov,wart epiphany-extensions-2.26.1-2.fc12 (build/make) caillon,pgordon eric-4.3.3-1.fc12 (build/make) rdieter,ausil,trasher etherbat-1.0.1-5.fc11 (build/make) limb ettercap-0.7.3-32.fc11 (build/make) limb evolution-brutus-1.2.35-2.fc11 (build/make) bpepple evolution-rss-0.1.2-9.fc12 (build/make) lucilanga evolution-zimbra-0.1.1-6.fc11 (build/make) mbarnes,mmahut f-spot-0.5.0.3-8.fc11 (build/make) nigelj,dgoodwin fakechroot-2.9-22.fc12 (build/make) athimm,rjones fann-2.0.0-5.1.fc11 (build/make) tsmetana fedora-business-cards-0.2.4-4.fc11 (build/make) ianweller fetchmail-6.3.9-3.fc11 (build/make) vcrhonek,pertusus filesystem-2.4.21-1.fc11 (build/make) pknirsch firewalk-5.0-4.fc11 (build/make) sindrepb fityk-0.8.1-14.fc10 (build/make) jpye fltk-1.1.9-3.fc11 (build/make) rdieter,pertusus freefem++-3.0-5.5.fc11 (patch_fuzz) rathann frysk-0.4-8.fc11 (build/make) cagney,pmuldoon,swagiaal fusecompress-2.5-1.fc12 (build/make) lkundrak,lmacken gauche-gl-0.4.4-4.fc11 (build/make) gemi gauche-gtk-0.4.1-18.fc11 (build/make) gemi gbdfed-1.4-2.fc11 (build/make) spot gbrainy-1.1-3.fc11 (build/make) sereinit gc-7.1-7.fc11 (build/make) rdieter gcdmaster-1.2.2-5.fc11 (build/make) denis gdal-1.6.0-8.fc11 (build/make) rezso,pertusus gedit-vala-0.4.1-2.fc11 (build/make) salimma geronimo-specs-1.0-2.M2.fc10 (build/make) fnasser gettext-0.17-11.fc12 (build/make) petersen,i18n-team gflags-1.0-3.fc11 (build/make) rakesh gget-0.0.4-9.fc11 (build/make) ant glob2-0.9.3-2.fc11 (build/make) rafalzaq globus-core-5.15-4.fc12 (build/make) ellert gloox-1.0-0.5.SVNr4003.fc12 (build/make) hubbitus gmfsk-0.7-0.6.pre1.fc11 (build/make) bjensen,bjensen,sindrepb,sconklin,dp67 gmime-2.4.3-3.fc11 (build/make) alexl,thl gmime22-2.2.23-5.fc11 (build/make) bjohnson gmrun-0.9.2-16.fc11 (build/make) gilboa gnome-scan-0.6.2-1.fc11 (build/make) deji gnomint-0.9.1-5.fc12 (build/make) verdurin gnuchess-5.07-12.fc11 (build/make) kaboom gnuradio-3.1.3-5.fc11 (build/make) mmahut,astronomy-sig gromacs-4.0.4-2.fc11 (build/make) jussilehtola gt-0.4-8.fc11 (build/make) jwrdegoede gwget-1.0.1-2.fc11 (build/make) cwickert gypsy-0.6-8.fc11 (build/make) pbrobinson hal-0.5.12-26.20090226git.fc11 (build/make) rhughes hdf-4.2r4-2.fc11 (build/make) orion,pertusus heartbeat-2.1.4-7.fc12 (build/make) kevin,lon hosts3d-0.98-1.fc11 (build/make) cassmodiah hyphen-hsb-0.20080619-1.fc11 (build/make) caolanm iksemel-1.3-7.fc11 (build/make) jcollie inn-2.4.6-2.fc12 (build/make) ovasik insight-6.8-7.fc11 (build/make) monnerat,jkratoch intuitively-0.7-15.fc11 (build/make) kasal,pertusus ipa-gothic-fonts-003.01-2.fc12 (build/make) tagoh,fonts-sig ipa-mincho-fonts-003.01-2.fc12 (build/make) tagoh,fonts-sig ipa-pgothic-fonts-003.01-2.fc12 (build/make) tagoh,fonts-sig ipa-pmincho-fonts-003.01-2.fc12 (build/make) tagoh,fonts-sig ipsec-tools-0.7.2-1.fc12 (build/make) tmraz irda-utils-0.9.18-7.fc11 (build/make) karsten iverilog-0.9.20090423-4..fc11 (build/make) rezso,chitlesh jasper-1.900.1-10.fc11 (build/make) rdieter java-1.6.0-openjdk-1.6.0.0-23.b16.fc12 (build/make) langel,lkundrak,dbhole,langel,mjw jruby-1.1.6-3.fc11 (build/make) konradm junitperf-1.9.1-3.2.fc11 (build/make) mwringe kaya-0.5.1-4.fc11 (build/make) s4504kr kdebase-runtime-4.2.85-2.fc12 (build/make) than,rdieter,kkofler,tuxbrewr,ltinkl,arbiter,mathstuf,jreznik kdebase-workspace-4.2.85-4.fc12 (build/make) than,rdieter,svahl,kkofler,tuxbrewr,ltinkl,arbiter,mathstuf,jreznik kdebase3-3.5.10-8.fc11 (build/make) than,rdieter,svahl,kkofler,tuxbrewr,ltinkl,jreznik kdelibs3-3.5.10-11.fc11 (build/make) than,rdieter,kkofler,tuxbrewr,ltinkl kdemultimedia-4.2.85-2.fc12 (build/make) than,rdieter,kkofler,tuxbrewr,ltinkl,arbiter,mathstuf,jreznik kdepim-4.2.85-2.fc12 (build/make) than,rdieter,kkofler,tuxbrewr,ltinkl,arbiter,mathstuf,jreznik kdeplasma-addons-4.2.85-4.fc12 (build/make) rdieter,than,kkofler,tuxbrewr,ltinkl,arbiter,mathstuf,jreznik kdevelop-3.5.4-3.fc11 (build/make) than,rdieter,kkofler,tuxbrewr,ltinkl kdewebdev-3.5.10-2.fc11 (build/make) than,rdieter,kkofler,tuxbrewr,ltinkl,jreznik kdnssd-avahi-0.1.3-0.7.20080116svn.fc11 (build/make) rdieter,rdieter,tuxbrewr kguitar-0.5.1-4.926svn.fc11 (build/make) oget kile-2.0.3-3.fc11 (build/make) rdieter,kkofler,tuxbrewr kio_sword-0.3-9.fc11 (build/make) anderson,deji kita-0.177.5-4.fc11 (build/make) mtasaka knetstats-1.6.1-9.fc11 (build/make) chitlesh knm_new-fonts-1.1-5.fc11 (build/make) tagoh,fonts-sig,i18n-team kopete-cryptography-1.3.0-7.fc11 (build/make) jreznik,rdieter,than,kkofler,ltinkl kpackagekit-0.4.0-7.fc12 (build/make) tuxbrewr,rdieter,rhughes,kkofler,balajig8,ltinkl kpolynome-0.1.2-13.fc11 (build/make) chitlesh ktechlab-0.3.70-1.20090304svn.fc11 (build/make) chitlesh labrea-2.5.1-2.fc10 (build/make) huzaifas ladspa-cmt-plugins-1.16-1.fc11 (build/make) jwrdegoede,nando,oget lagan-2.0-4.fc11 (build/make) c4chris lam-7.1.4-7.fc12 (build/make) dledford lasi-1.1.0-4.fc11 (build/make) orion lat-1.2.3-7.fc12 (build/make) pghmcfc lcdproc-0.5.2-11.fc11 (build/make) kwizart,jwilson ldapvi-1.7-8.fc11 (build/make) orphan levien-inconsolata-fonts-1.01-3.fc11 (build/make) kevin libbeagle-0.3.9-3.fc11 (build/make) mclasen libbonobo-2.24.1-1.fc11 (build/make) rstrode libcaca-0.99-0.7.beta16.fc11 (build/make) thias libchamplain-0.2.9-1.fc11 (build/make) rishi libgdl-2.26.0-1.fc11 (build/make) rishi libgnome-java-2.12.4-11.fc11 (build/make) kasal libgnomedb-3.99.7-3.fc11 (build/make) denis,denis,huzaifas libgnomeprint22-2.18.6-1.fc11 (build/make) behdad libguestfs-1.0.41-1.fc12 (build/make) rjones,virtmaint libibumad-1.3.1-1.fc12 (build/make) dledford libprojectM-1.2.0-9.fc11 (build/make) imntreal libprojectM-qt-1.2.0-5.fc11 (build/make) imntreal libsoup22-2.2.105-4.fc11 (build/make) mbarnes libsx-2.05-16.fc11 (build/make) kasal,pertusus libtar-1.2.11-11.fc10 (build/make) huzaifas,huzaifas linux-libertine-fonts-4.1.8-1.fc11 (build/make) farnold,fonts-sig,kevin maildrop-2.0.4-9.fc11 (build/make) athimm mesa-7.5-0.14.fc11 (build/make) ajax,ajax mingw32-libxslt-1.1.24-7.fc12 (build/make) epienbro,rjones mingw32-qt-4.5.0-4.fc11 (build/make) sailer,rjones mingw32-wpcap-4.1.beta5-2.fc11 (build/make) sailer,rjones mingw32-zlib-1.2.3-17.fc12 (build/make) rjones,sailer,berrange,lfarkas,mingwmaint minicom-2.3-4.fc11 (build/make) mlichvar minirpc-0.3.2-3.fc11 (build/make) agoode monafont-2.90-8.fc11 (build/make) mtasaka mono-2.4-19.fc12 (build/make) laxathom,pfj,laxathom,itamarjp mono-nunit22-2.2.10-9.fc11 (build/make) spot monsoon-0.20-2.fc11 (build/make) mpfi-1.3.4-0.5.RC3.fc11 (build/make) konradm mscore-0.9.4-3.fc11 (build/make) oget mugshot-1.2.2-9.fc12 (build/make) otaylor multiget-1.2.0-5.fc11 (build/make) guidoledermann,mtasaka museek+-0.2-1.fc11 (build/make) belegdol mysql-5.1.34-1.fc12 (build/make) tgl nautilus-gdu-0.2-git20090309.1.fc11 (build/make) netcdf-perl-1.2.3-9.fc11 (build/make) orion,perl-sig,pertusus newt-0.52.10-3.fc11 (build/make) mlichvar ngspice-18-2.fc11 (build/make) chitlesh nqc-3.1.6-5.fc12 (build/make) rvinyard nss_ldap-264-2.fc11 (build/make) nalin ntop-3.3.9-5.fc11 (build/make) rakesh,pvrabec nwsclient-1.6.3-3.fc11 (build/make) spot ocaml-libvirt-0.6.1.0-2.fc12 (build/make) rjones,virtmaint,ocamlmaint oflb-riordonfancy-fonts-4-2 (build/make) ivazquez oorexx-3.2.0-4.fc9 (build/make) gemi opencv-1.1.0-0.1.pre1.fc12.1 (build/make) rakesh,nomis80,kwizart orpie-1.5.1-4.fc10 (build/make) xris orsa-0.7.0-8.fc11 (build/make) mjakubicek,mmahut paraview-3.4.0-4.fc11 (build/make) orion,pertusus pcmanx-gtk2-0.3.8-5.fc11 (build/make) orphan perl-AnyEvent-XMPP-0.4-1.fc11 (build/make) allisson,perl-sig perl-Bio-Graphics-1.94-1.fc12 (build/make) alexlan,perl-sig perl-Catalyst-Action-RenderView-0.10-2.fc12 (build/make) cweyl,perl-sig perl-Catalyst-Component-InstancePerContext-0.001001-2.fc11 (build/make) iarnell,perl-sig perl-Catalyst-Controller-BindLex-0.05-2.fc11 (build/make) cweyl,perl-sig perl-Catalyst-Controller-FormBuilder-0.05-2.fc12 (build/make) cweyl,perl-sig perl-Catalyst-Devel-1.10-2.fc11 (build/make) cweyl,perl-sig perl-Catalyst-Helper-FastCGI-ExternalServer-0.05-1.fc12 (build/make) cweyl,perl-sig perl-Catalyst-Log-Log4perl-1.03-1.fc11 (build/make) iarnell,perl-sig perl-Catalyst-Model-DBIC-Schema-0.23-1.fc11 (build/make) cweyl,perl-sig perl-Catalyst-Model-LDAP-0.16-5.fc11 (build/make) sxw perl-Catalyst-Model-XMLRPC-0.04-4.fc11 (build/make) cweyl,perl-sig perl-Catalyst-Plugin-Cache-0.08-2.fc12 (build/make) iarnell,perl-sig perl-Catalyst-Plugin-ConfigLoader-0.23-1.fc12 (build/make) cweyl,perl-sig perl-Catalyst-Plugin-I18N-0.09-2.fc12 (build/make) iarnell,perl-sig perl-Catalyst-Plugin-Setenv-0.03-1.fc12 (build/make) iarnell,perl-sig perl-Catalyst-Plugin-StackTrace-0.10-1.fc12 (build/make) sxw perl-Catalyst-Plugin-Static-Simple-0.21-1.fc12 (build/make) cweyl,perl-sig perl-Catalyst-Plugin-SubRequest-0.13-2.fc11 (build/make) cweyl,perl-sig perl-Catalyst-Plugin-Unicode-0.91-1.fc12 (build/make) iarnell,perl-sig perl-Catalyst-View-Email-0.13-1.fc12 (build/make) iarnell,perl-sig perl-Catalyst-View-JSON-0.25-1.fc12 (build/make) sxw perl-Catalyst-View-Mason-0.17-1.fc12 (build/make) iarnell,perl-sig perl-Catalyst-View-TT-0.29-1.fc11 (build/make) cweyl,perl-sig perl-DBIx-Class-Schema-Loader-0.04005-3.fc11 (build/make) cweyl,perl-sig perl-Data-Dump-Streamer-2.09-1.fc11 (build/make) iarnell,perl-sig perl-DateTimeX-Easy-0.085-2.fc11 (build/make) cweyl,perl-sig perl-Email-MIME-Creator-1.455-1.fc11 (build/make) spot,perl-sig perl-Email-MIME-Modifier-1.443-2.fc11 (build/make) spot,perl-sig perl-HTML-FormFu-Model-DBIC-0.03007-1.fc11 (build/make) cweyl,perl-sig perl-Hardware-Vhdl-Tidy-0.8-4.fc11 (build/make) chitlesh perl-MooseX-Traits-Attribute-CascadeClear-0.03-2.fc11 (build/make) cweyl,perl-sig perl-PDL-2.4.4-3.fc11 (build/make) kasal,orion,mmaslano perl-POE-Component-Client-HTTP-0.85-3.fc11 (build/make) cweyl,perl-sig perl-POE-Component-Server-SimpleHTTP-1.48-2.fc11 (build/make) cweyl,perl-sig perl-PPI-Tester-0.06-6.fc11 (build/make) spot,perl-sig perl-Padre-0.32-1.fc11 (build/make) mmaslano,perl-sig perl-Parse-ErrorString-Perl-0.11-3.fc11 (build/make) mmaslano,perl-sig perl-SVN-Mirror-0.75-2.fc11 (build/make) iburrell,perl-sig perl-SVN-Simple-0.27-7.fc11 (build/make) iburrell,perl-sig perl-Sys-Virt-0.2.0-2.fc11 (build/make) steve,perl-sig,berrange perl-Template-Plugin-Class-0.13-6.fc11 (build/make) spot,perl-sig perl-Test-AutoBuild-1.2.2-7.fc11 (build/make) berrange perl-Wx-Perl-DataWalker-0.02-3.fc12 (build/make) mmaslano,perl-sig perl-Wx-Perl-ProcessStream-0.11-2.fc11 (build/make) mmaslano,perl-sig pg_top-3.6.2-4.fc11 (build/make) itamarjp phasex-0.11.1-6.fc11 (build/make) green pl-5.7.6-4.fc11 (build/make) gemi,mef procmail-3.22-23.fc11 (build/make) mlichvar projectM-jack-1.2.0-5.fc11 (build/make) imntreal projectM-libvisual-1.2.0-5.fc11 (build/make) imntreal projectM-pulseaudio-1.2.0-4.fc11 (build/make) imntreal protobuf-2.0.2-8.fc11 (build/make) abbot pv-1.1.4-2.fc11 (build/make) jhrozek pyclutter-0.8.2-2.fc11 (build/make) allisson pygsl-0.9.3-4.fc11 (build/make) jamatos pysvn-1.6.3-2.fc11 (build/make) ravenoak pytagger-0.5-2.fc11 (build/make) oget python-basemap-0.99.2-3.fc11 (build/make) jspaleta python-docs-2.6-2.fc11 (build/make) james,ivazquez,rrakus python-gtkextra-1.1.0-7 (build/make) mitr python-openhpi-1.1-3.fc11 (build/make) sharkcz python-py-0.9.2-7.fc11 (build/make) thm python-sqlalchemy-0.5.3-1.fc12 (build/make) toshio,ivazquez,shahms,toshio,lmacken,fschwarz python-tftpy-0.4.6-3.fc11 (build/make) ivaxer qscintilla-2.3.2-2.fc11 (build/make) rdieter qtiplot-0.9-11.fc11 (build/make) frankb qzion-0.4.0-1.fc11 (build/make) john5342,rdieter rpmdepsize-1.0-3.fc12 (build/make) jussilehtola,rjones rsibreak-0.9.0-10.fc11 (build/make) liquidat,rdieter rtaudio-4.0.5-3.fc11 (build/make) oget ruby-openid-2.1.4-2.fc11 (build/make) allisson sane-frontends-1.0.14-6.fc11 (build/make) nphilipp sblim-cmpi-base-1.5.7-3.fc11 (build/make) vcrhonek scalapack-1.7.5-5.fc11 (build/make) spot seahorse-plugins-2.27.1-1.fc12 (build/make) mclasen,tbzatek sems-1.1.0-7.fc12 (build/make) peter,ondrejj showimg-0.9.5-22.fc11 (build/make) abompard sim-0.9.5-0.16.20080923svn2261rev.fc11 (build/make) hubbitus siril-0.8-7.fc11 (build/make) mmahut smart-1.2-64.fc12 (build/make) athimm smartmontools-5.38-11.fc11 (build/make) mhlavink soprano-2.2.3-1.fc11 (build/make) rdieter,kkofler,arbiter spambayes-1.0.4-7.fc11 (build/make) xulchris squeak-vm-3.10.4-4.fc11 (build/make) gavin,tuxbrewr supertuxkart-0.6.1-2.fc11 (build/make) limb svgalib-1.9.25-6.fc11 (build/make) rakesh,orion svnkit-1.2.3-1.fc11 (build/make) robmv,akurtakov syck-0.61-8.2.fc11 (build/make) oliver t1utils-1.33-2.fc11 (build/make) jamatos tachyon-0.98.1-1.fc11 (build/make) rathann tango-icon-theme-0.8.90-1.fc11 (build/make) pgordon tcptraceroute-1.5-0.7.beta7.fc11 (build/make) sindrepb teamgit-0.0.9-3.20090205.fc11 (build/make) terjeros telepathy-idle-0.1.3-2.fc11 (build/make) bpepple trackballs-1.1.4-9.fc11 (build/make) jwrdegoede transifex-0.5.1-2.fc11 (build/make) ivazquez,i18n-team translate-toolkit-1.3.0-2.fc11 (build/make) roozbeh,i18n-team,dwayne ucblogo-6.0-4.fc11 (build/make) gemi un-core-fonts-1.0.2-0.7.080608.fc11 (build/make) smallvil,fonts-sig,i18n-team,petersen unifdef-1.171-8.fc11 (build/make) dwmw2,jaswinder v4l2ucp-1.3-2.fc12 (build/make) jwrdegoede varnish-2.0.3-2.fc11 (build/make) ingvar virt-mem-0.3.1-6.fc11 (build/make) rjones,virtmaint w3c-libwww-5.4.1-0.15.20060206cvs.fc11 (build/make) awjb widelands-0-0.13.Build13.fc11 (build/make) karlik wise2-2.2.0-5.fc11 (build/make) alexlan woodardworks-laconic-fonts-001.001-3.fc12 (build/make) spot,fonts-sig wvdial-1.60-8.fc11 (build/make) ovasik wxGTK-2.8.10-1.fc11 (build/make) mattdm,sharkcz xfce4-clipman-plugin-1.0.1-1.fc12 (build/make) cwickert xine-ui-0.99.5-11.fc10 (build/make) jussilehtola xmbdfed-4.7-4.fc11 (build/make) spot xmlcopyeditor-1.1.0.6-4.fc9 (build/make) ivazquez xmp-2.5.1-4.fc11 (build/make) rathann xorg-x11-drv-nouveau-0.0.12-36.20090514git9656762.fc11 (build/make) bskeggs,ajax,airlied,bskeggs xorg-x11-server-1.6.1.901-1.fc11 (build/make) xgl-maint xpilot-ng-4.7.2-16.fc11 (build/make) wart xqilla-2.1.3-0.6.fc11 (build/make) mzazrive xqilla10-1.0.2-6.fc11 (build/make) mzazrive yap-5.1.1-13.fc11 (build/make) gemi yersinia-0.7.1-3.fc11 (build/make) fab zsh-4.3.9-4.fc11 (build/make) james With bugs filed: 4 ---------------------------------- httping-1.2.9-4.fc11 [u'502430 NEW'] (build/make) fab libFoundation-1.1.3-11.fc9 [u'440564 ASSIGNED'] (build/make) athimm perl-RRD-Simple-1.43-3.fc9 [u'464964 ASSIGNED'] (build/make) cweyl,perl-sig smarteiffel-2.3-2.fc9 [u'464923 ASSIGNED'] (build/make) gemi ---------------------------------- Packages by owner: abbot: protobuf abompard: showimg agoode: minirpc airlied: xorg-x11-drv-nouveau ajax: mesa,mesa,xorg-x11-drv-nouveau akahl: bmpx akurtakov: svnkit alexl: gmime alexlan: perl-Bio-Graphics,wise2 allisson: clutter-cairo,clutter-gst,couchdb,perl-AnyEvent-XMPP,pyclutter,ruby-openid anderson: kio_sword ant: gget arbiter: kdebase-runtime,kdebase-workspace,kdemultimedia,kdepim,kdeplasma-addons,soprano astronomy-sig: gnuradio athimm: fakechroot,libFoundation,maildrop,smart atorkhov: ember ausil: eric awjb: artwiz-aleczapka-fonts,w3c-libwww balajig8: kpackagekit behdad: libgnomeprint22 belegdol: museek+ bellet: SimGear berrange: mingw32-zlib,perl-Sys-Virt,perl-Test-AutoBuild bjensen: gmfsk,gmfsk bjohnson: gmime22 bpepple: evolution-brutus,telepathy-idle bskeggs: xorg-x11-drv-nouveau,xorg-x11-drv-nouveau c4chris: lagan cagney: frysk caillon: epiphany-extensions caolanm: hyphen-hsb cassmodiah: bareftp,hosts3d cchance: baekmuk-ttf-fonts cheese: bmpx chitlesh: iverilog,knetstats,kpolynome,ktechlab,ngspice,perl-Hardware-Vhdl-Tidy cweyl: perl-Catalyst-Action-RenderView,perl-Catalyst-Controller-BindLex,perl-Catalyst-Controller-FormBuilder,perl-Catalyst-Devel,perl-Catalyst-Helper-FastCGI-ExternalServer,perl-Catalyst-Model-DBIC-Schema,perl-Catalyst-Model-XMLRPC,perl-Catalyst-Plugin-ConfigLoader,perl-Catalyst-Plugin-Static-Simple,perl-Catalyst-Plugin-SubRequest,perl-Catalyst-View-TT,perl-DBIx-Class-Schema-Loader,perl-DateTimeX-Easy,perl-HTML-FormFu-Model-DBIC,perl-MooseX-Traits-Attribute-CascadeClear,perl-POE-Component-Client-HTTP,perl-POE-Component-Server-SimpleHTTP,perl-RRD-Simple cwickert: gwget,xfce4-clipman-plugin dbhole: java-1.6.0-openjdk dchen: UnihanDb deji: atlas,atlas,gnome-scan,kio_sword denis: clutter-cairomm,clutter-gtkmm,cluttermm,gcdmaster,libgnomedb,libgnomedb devrim: classpathx-jaf dgoodwin: f-spot dledford: lam,libibumad dnovotny: amanda dp67: gmfsk drago01: dbus-c++ dwalluck: classpathx-jaf dwayne: translate-toolkit dwmw2: unifdef ellert: globus-core epienbro: mingw32-libxslt ertzing: audacious,audacious-plugins fab: httping,yersinia farnold: linux-libertine-fonts fitzsim: batik fnasser: geronimo-specs fonts-sig: artwiz-aleczapka-fonts,baekmuk-ttf-fonts,ipa-gothic-fonts,ipa-mincho-fonts,ipa-pgothic-fonts,ipa-pmincho-fonts,knm_new-fonts,linux-libertine-fonts,un-core-fonts,woodardworks-laconic-fonts frankb: qtiplot fschwarz: python-sqlalchemy gavin: squeak-vm gemi: GtkAda,compat-erlang,ecl,gauche-gl,gauche-gtk,oorexx,pl,smarteiffel,ucblogo,yap gilboa: gmrun green: phasex guidoledermann: multiget hubbitus: gloox,sim huzaifas: labrea,libgnomedb,libtar,libtar i18n-team: UnihanDb,baekmuk-ttf-fonts,ddskk,gettext,knm_new-fonts,transifex,translate-toolkit,un-core-fonts ianweller: fedora-business-cards iarnell: perl-Catalyst-Component-InstancePerContext,perl-Catalyst-Log-Log4perl,perl-Catalyst-Plugin-Cache,perl-Catalyst-Plugin-I18N,perl-Catalyst-Plugin-Setenv,perl-Catalyst-Plugin-Unicode,perl-Catalyst-View-Email,perl-Catalyst-View-Mason,perl-Data-Dump-Streamer iburrell: perl-SVN-Mirror,perl-SVN-Simple imntreal: libprojectM,libprojectM-qt,projectM-jack,projectM-libvisual,projectM-pulseaudio ingvar: varnish itamarjp: bareftp,mono,pg_top ivaxer: python-tftpy ivazquez: django-tagging,oflb-riordonfancy-fonts,python-docs,python-sqlalchemy,transifex,xmlcopyeditor ixs: ccrtp jamatos: PyKDE,pygsl,t1utils james: python-docs,zsh jaswinder: unifdef jcollie: asterisk-sounds-core,iksemel jhrozek: pv jjohnstn: eclipse-cdt jkratoch: insight jnovy: compat-db john5342: qzion jpye: fityk jreznik: kdebase-runtime,kdebase-workspace,kdebase3,kdemultimedia,kdepim,kdeplasma-addons,kdewebdev,kopete-cryptography jspaleta: ScientificPython,python-basemap jussilehtola: PyQuante,gromacs,rpmdepsize,xine-ui jwilson: lcdproc jwrdegoede: auriferous,gt,ladspa-cmt-plugins,trackballs,v4l2ucp kaboom: gnuchess karlik: widelands karsten: irda-utils kasal: intuitively,libgnome-java,libsx,perl-PDL kevin: heartbeat,levien-inconsolata-fonts,linux-libertine-fonts kkofler: arts,eigen2,kdebase-runtime,kdebase-workspace,kdebase3,kdelibs3,kdemultimedia,kdepim,kdeplasma-addons,kdevelop,kdewebdev,kile,kopete-cryptography,kpackagekit,soprano konradm: jruby,mpfi kwizart: lcdproc,opencv langel: batik,java-1.6.0-openjdk,java-1.6.0-openjdk laxathom: mono,mono lfarkas: mingw32-zlib limb: cernlib,chipmunk,etherbat,ettercap,supertuxkart liquidat: rsibreak lkundrak: fusecompress,java-1.6.0-openjdk lmacken: fusecompress,python-sqlalchemy lokthare: almanah lon: heartbeat ltinkl: kdebase-runtime,kdebase-workspace,kdebase3,kdelibs3,kdemultimedia,kdepim,kdeplasma-addons,kdevelop,kdewebdev,kopete-cryptography,kpackagekit lucilanga: evolution-rss lyosnorezel: arj mathstuf: eigen2,kdebase-runtime,kdebase-workspace,kdemultimedia,kdepim,kdeplasma-addons mattdm: wxGTK mbarnes: evolution-zimbra,libsoup22 mclasen: libbeagle,seahorse-plugins mef: pl mhlavink: smartmontools mingwmaint: mingw32-zlib mitr: python-gtkextra mjakubicek: orsa mjw: java-1.6.0-openjdk mlichvar: conky,conky,minicom,newt,procmail mmahut: evolution-zimbra,gnuradio,orsa,siril mmaslano: perl-PDL,perl-Padre,perl-Parse-ErrorString-Perl,perl-Wx-Perl-DataWalker,perl-Wx-Perl-ProcessStream monnerat: insight mschwendt: audacious-plugin-fc,compat-wxGTK26 mtasaka: kita,monafont,multiget mwringe: junitperf mzazrive: xqilla,xqilla10 nalin: nss_ldap nando: ladspa-cmt-plugins nigelj: f-spot nomis80: opencv nphilipp: sane-frontends ocamlmaint: ocaml-libvirt oget: kguitar,ladspa-cmt-plugins,mscore,pytagger,rtaudio oliver: syck ondrejj: sems orion: hdf,lasi,netcdf-perl,paraview,perl-PDL,svgalib orphan: ldapvi,pcmanx-gtk2 otaylor: mugshot ovasik: inn,wvdial overholt: eclipse-checkstyle pbrobinson: gypsy pcheung: axis perl-sig: netcdf-perl,perl-AnyEvent-XMPP,perl-Bio-Graphics,perl-Catalyst-Action-RenderView,perl-Catalyst-Component-InstancePerContext,perl-Catalyst-Controller-BindLex,perl-Catalyst-Controller-FormBuilder,perl-Catalyst-Devel,perl-Catalyst-Helper-FastCGI-ExternalServer,perl-Catalyst-Log-Log4perl,perl-Catalyst-Model-DBIC-Schema,perl-Catalyst-Model-XMLRPC,perl-Catalyst-Plugin-Cache,perl-Catalyst-Plugin-ConfigLoader,perl-Catalyst-Plugin-I18N,perl-Catalyst-Plugin-Setenv,perl-Catalyst-Plugin-Static-Simple,perl-Catalyst-Plugin-SubRequest,perl-Catalyst-Plugin-Unicode,perl-Catalyst-View-Email,perl-Catalyst-View-Mason,perl-Catalyst-View-TT,perl-DBIx-Class-Schema-Loader,perl-Data-Dump-Streamer,perl-DateTimeX-Easy,perl-Email-MIME-Creator,perl-Email-MIME-Modifier,perl-HTML-FormFu-Model-DBIC,perl-MooseX-Traits-Attribute-CascadeClear,perl-POE-Component-Client-HTTP,perl-POE-Component-Server-SimpleHTTP,perl-PPI-Tester,perl-Padre,perl-Parse-ErrorString-Perl,perl-RRD-Simple,perl-SVN-Mirror,perl-SVN-Simple,perl-Sys-Virt,perl-Template-Plugin-Class,perl-Wx-Perl-DataWalker,perl-Wx-Perl-ProcessStream pertusus: cernlib,conky,dap-hdf4_handler,dap-hdf4_handler,fetchmail,fltk,gdal,hdf,intuitively,libsx,netcdf-perl,paraview peter: sems petersen: baekmuk-ttf-fonts,ddskk,gettext,un-core-fonts pfj: mono pghmcfc: lat pgordon: epiphany-extensions,tango-icon-theme phuang: awn-extras-applets pingou: R-BSgenome.Celegans.UCSC.ce2,R-BSgenome.Dmelanogaster.FlyBase.r51,R-BufferedMatrixMethods,R-hgu95av2probe pknirsch: filesystem pmatilai: compat-db pmuldoon: frysk pvrabec: ntop rafalzaq: glob2 rakesh: gflags,ntop,opencv,svgalib rathann: freefem++,tachyon,xmp ravenoak: pysvn rdieter: PyKDE,arts,eigen2,eric,fltk,gc,jasper,kdebase-runtime,kdebase-workspace,kdebase3,kdelibs3,kdemultimedia,kdepim,kdeplasma-addons,kdevelop,kdewebdev,kdnssd-avahi,kdnssd-avahi,kile,kopete-cryptography,kpackagekit,qscintilla,qzion,rsibreak,soprano rezso: gdal,iverilog rhughes: hal,kpackagekit rishi: libchamplain,libgdl rjones: fakechroot,libguestfs,mingw32-libxslt,mingw32-qt,mingw32-wpcap,mingw32-zlib,ocaml-libvirt,rpmdepsize,virt-mem rmyers: eclipse-checkstyle robert: arj robmv: svnkit roozbeh: translate-toolkit rrakus: cdrkit,python-docs rstrode: bug-buddy,libbonobo rvinyard: nqc s4504kr: kaya sailer: mingw32-qt,mingw32-wpcap,mingw32-zlib salimma: Django,gedit-vala sconklin: gmfsk sereinit: gbrainy shahms: python-sqlalchemy sharkcz: atasm,codeblocks,python-openhpi,wxGTK sindrepb: awn-extras-applets,firewalk,gmfsk,tcptraceroute smallvil: un-core-fonts smilner: Django spot: R-RScaLAPACK,SimGear,artwiz-aleczapka-fonts,blacs,gbdfed,mono-nunit22,nwsclient,perl-Email-MIME-Creator,perl-Email-MIME-Modifier,perl-PPI-Tester,perl-Template-Plugin-Class,scalapack,woodardworks-laconic-fonts,xmbdfed steve: cone,perl-Sys-Virt stingray: cuetools svahl: kdebase-workspace,kdebase3 swagiaal: frysk sxw: perl-Catalyst-Model-LDAP,perl-Catalyst-Plugin-StackTrace,perl-Catalyst-View-JSON tadej: PyQwt tagoh: emacs-mew,ipa-gothic-fonts,ipa-mincho-fonts,ipa-pgothic-fonts,ipa-pmincho-fonts,knm_new-fonts tbzatek: seahorse-plugins terjeros: teamgit tgl: mysql than: arts,kdebase-runtime,kdebase-workspace,kdebase3,kdelibs3,kdemultimedia,kdepim,kdeplasma-addons,kdevelop,kdewebdev,kopete-cryptography thias: autodir,libcaca thl: gmime thm: python-py tmraz: ipsec-tools toshio: python-sqlalchemy,python-sqlalchemy trasher: eric tsmetana: fann tuxbrewr: arts,kdebase-runtime,kdebase-workspace,kdebase3,kdelibs3,kdemultimedia,kdepim,kdeplasma-addons,kdevelop,kdewebdev,kdnssd-avahi,kile,kpackagekit,squeak-vm uwog: asio vcrhonek: fetchmail,sblim-cmpi-base verdurin: gnomint virtmaint: libguestfs,ocaml-libvirt,virt-mem walters: bigboard wart: ember,xpilot-ng xgl-maint: xorg-x11-server xris: orpie xulchris: spambayes -- Matt Domsch Linux Technology Strategist, Dell Office of the CTO linux.dell.com & www.dell.com/linux From pkgdb at fedoraproject.org Fri Jun 19 10:55:29 2009 From: pkgdb at fedoraproject.org (Fedora PackageDB) Date: Fri, 19 Jun 2009 10:55:29 +0000 Subject: [pkgdb] coq had acl change status Message-ID: <20090619105530.0AABF10F861@bastion2.fedora.phx.redhat.com> amdunn has set the watchbugzilla acl on coq (Fedora devel) to Approved for ocamlmaint To make changes to this package see: https://admin.fedoraproject.org/pkgdb/packages/name/coq From pkgdb at fedoraproject.org Fri Jun 19 10:55:33 2009 From: pkgdb at fedoraproject.org (Fedora PackageDB) Date: Fri, 19 Jun 2009 10:55:33 +0000 Subject: [pkgdb] coq had acl change status Message-ID: <20090619105533.1A8CA10F896@bastion2.fedora.phx.redhat.com> amdunn has set the watchcommits acl on coq (Fedora devel) to Approved for ocamlmaint To make changes to this package see: https://admin.fedoraproject.org/pkgdb/packages/name/coq From pkgdb at fedoraproject.org Fri Jun 19 10:55:37 2009 From: pkgdb at fedoraproject.org (Fedora PackageDB) Date: Fri, 19 Jun 2009 10:55:37 +0000 Subject: [pkgdb] coq had acl change status Message-ID: <20090619105537.4209210F8A0@bastion2.fedora.phx.redhat.com> amdunn has set the watchbugzilla acl on coq (Fedora 9) to Approved for ocamlmaint To make changes to this package see: https://admin.fedoraproject.org/pkgdb/packages/name/coq From pkgdb at fedoraproject.org Fri Jun 19 10:55:37 2009 From: pkgdb at fedoraproject.org (Fedora PackageDB) Date: Fri, 19 Jun 2009 10:55:37 +0000 Subject: [pkgdb] coq had acl change status Message-ID: <20090619105537.72EAB10F8A4@bastion2.fedora.phx.redhat.com> amdunn has set the watchcommits acl on coq (Fedora 9) to Approved for ocamlmaint To make changes to this package see: https://admin.fedoraproject.org/pkgdb/packages/name/coq From pkgdb at fedoraproject.org Fri Jun 19 10:55:40 2009 From: pkgdb at fedoraproject.org (Fedora PackageDB) Date: Fri, 19 Jun 2009 10:55:40 +0000 Subject: [pkgdb] coq had acl change status Message-ID: <20090619105540.A8F1910F8A8@bastion2.fedora.phx.redhat.com> amdunn has set the watchbugzilla acl on coq (Fedora 11) to Approved for ocamlmaint To make changes to this package see: https://admin.fedoraproject.org/pkgdb/packages/name/coq From pkgdb at fedoraproject.org Fri Jun 19 10:55:42 2009 From: pkgdb at fedoraproject.org (Fedora PackageDB) Date: Fri, 19 Jun 2009 10:55:42 +0000 Subject: [pkgdb] coq had acl change status Message-ID: <20090619105542.155ED10F8AB@bastion2.fedora.phx.redhat.com> amdunn has set the watchcommits acl on coq (Fedora 11) to Approved for ocamlmaint To make changes to this package see: https://admin.fedoraproject.org/pkgdb/packages/name/coq From pkgdb at fedoraproject.org Fri Jun 19 10:55:44 2009 From: pkgdb at fedoraproject.org (Fedora PackageDB) Date: Fri, 19 Jun 2009 10:55:44 +0000 Subject: [pkgdb] coq had acl change status Message-ID: <20090619105544.0BFE710F8AD@bastion2.fedora.phx.redhat.com> amdunn has set the watchbugzilla acl on coq (Fedora 10) to Approved for ocamlmaint To make changes to this package see: https://admin.fedoraproject.org/pkgdb/packages/name/coq From pkgdb at fedoraproject.org Fri Jun 19 10:55:45 2009 From: pkgdb at fedoraproject.org (Fedora PackageDB) Date: Fri, 19 Jun 2009 10:55:45 +0000 Subject: [pkgdb] coq had acl change status Message-ID: <20090619105545.669F710F8B0@bastion2.fedora.phx.redhat.com> amdunn has set the watchcommits acl on coq (Fedora 10) to Approved for ocamlmaint To make changes to this package see: https://admin.fedoraproject.org/pkgdb/packages/name/coq From karsten at fedoraproject.org Wed Jun 17 10:45:13 2009 From: karsten at fedoraproject.org (Karsten Hopp) Date: Wed, 17 Jun 2009 10:45:13 +0000 (UTC) Subject: rpms/cduce/F-11 cduce.spec,1.11,1.12 Message-ID: <20090617104513.B1CE270093@cvs1.fedora.phx.redhat.com> Author: karsten Update of /cvs/extras/rpms/cduce/F-11 In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv2275 Modified Files: cduce.spec Log Message: - ExcludeArch s390, s390x as we don't have OCaml on those archs Index: cduce.spec =================================================================== RCS file: /cvs/extras/rpms/cduce/F-11/cduce.spec,v retrieving revision 1.11 retrieving revision 1.12 diff -u -p -r1.11 -r1.12 --- cduce.spec 24 Feb 2009 06:55:12 -0000 1.11 +++ cduce.spec 17 Jun 2009 10:44:43 -0000 1.12 @@ -8,14 +8,14 @@ Name: cduce Version: 0.5.2.1 -Release: 14%{?dist} +Release: 14%{?dist}.1 Summary: Modern XML-oriented functional language Group: Development/Libraries License: BSD URL: http://www.cduce.org/ BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n) -ExcludeArch: ppc64 +ExcludeArch: ppc64 s390 s390x Source0: http://www.cduce.org/download/%{name}-%{version}.tar.gz Source1: http://caml.inria.fr/distrib/ocaml-%{ocaml_major}/ocaml-%{ocaml_major}.%{ocaml_minor}.tar.bz2 @@ -165,6 +165,9 @@ rm -rf $RPM_BUILD_ROOT %changelog +* Wed Jun 17 2009 S390x secondary arch maintainer 0.5.2.1-14.1 +- ExcludeArch s390, s390x as we don't have OCaml on those archs + * Mon Feb 23 2009 Fedora Release Engineering - 0.5.2.1-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild From ausil at fedoraproject.org Thu Jun 18 15:33:56 2009 From: ausil at fedoraproject.org (Dennis Gilmore) Date: Thu, 18 Jun 2009 15:33:56 +0000 (UTC) Subject: rpms/ocaml/F-11 ocaml.spec,1.52,1.53 Message-ID: <20090618153356.59B9B70132@cvs1.fedora.phx.redhat.com> Author: ausil Update of /cvs/pkgs/rpms/ocaml/F-11 In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv17563 Modified Files: ocaml.spec Log Message: we build 32 bit sparc sparcv9 change ExclusiveArch to suit Index: ocaml.spec =================================================================== RCS file: /cvs/pkgs/rpms/ocaml/F-11/ocaml.spec,v retrieving revision 1.52 retrieving revision 1.53 diff -u -p -r1.52 -r1.53 --- ocaml.spec 2 Jun 2009 07:49:45 -0000 1.52 +++ ocaml.spec 18 Jun 2009 15:33:24 -0000 1.53 @@ -2,7 +2,7 @@ Name: ocaml Version: 3.11.0 -Release: 3%{?dist} +Release: 4%{?dist} Summary: Objective Caml compiler and programming environment @@ -58,7 +58,7 @@ Requires: gcc Requires: ncurses-devel Requires: gdbm-devel Provides: ocaml(compiler) = %{version} -ExclusiveArch: alpha armv4l %{ix86} ia64 x86_64 ppc sparc ppc64 +ExclusiveArch: alpha armv4l %{ix86} ia64 x86_64 ppc sparcv9 ppc64 %define _use_internal_dependency_generator 0 %define __find_requires %{SOURCE4} -c -f %{buildroot}%{_bindir}/ocamlobjinfo @@ -444,6 +444,9 @@ fi %changelog +* Thu Jun 18 2009 Dennis Gilmore - 3.11.0-4 +- we build 32 bit sparc sparcv9 + * Tue Jun 2 2009 Richard W.M. Jones - 3.11.0-3 - Move dllgraphics.so into runtime package (RHBZ#468506). From ausil at fedoraproject.org Fri Jun 19 11:01:19 2009 From: ausil at fedoraproject.org (Dennis Gilmore) Date: Fri, 19 Jun 2009 11:01:19 +0000 (UTC) Subject: rpms/ocaml-facile/F-11 ocaml-facile.spec,1.8,1.9 Message-ID: <20090619110119.19EE7700F9@cvs1.fedora.phx.redhat.com> Author: ausil Update of /cvs/pkgs/rpms/ocaml-facile/F-11 In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv31876 Modified Files: ocaml-facile.spec Log Message: ExcludeArch sparc64 no ocaml there Index: ocaml-facile.spec =================================================================== RCS file: /cvs/pkgs/rpms/ocaml-facile/F-11/ocaml-facile.spec,v retrieving revision 1.8 retrieving revision 1.9 diff -u -p -r1.8 -r1.9 --- ocaml-facile.spec 26 Feb 2009 07:03:40 -0000 1.8 +++ ocaml-facile.spec 19 Jun 2009 11:00:47 -0000 1.9 @@ -6,10 +6,11 @@ # no ocaml (#438562) ExcludeArch: ppc64 %endif +ExcludeArch: sparc64 Name: ocaml-facile Version: 1.1 -Release: 8%{?dist} +Release: 8%{?dist}.1 Summary: OCaml library for constraint programming Summary(fr): Librairie OCaml de programmation par contraintes @@ -112,6 +113,9 @@ rm -rf $RPM_BUILD_ROOT %{_libdir}/ocaml/facile/*.mli %changelog +* Fri Jun 19 2009 Dennis Gilmore - 1.1-8.1 +-ExcludeArch sparc64 no ocaml there + * Wed Feb 25 2009 Fedora Release Engineering - 1.1-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild From amdunn at fedoraproject.org Fri Jun 19 11:14:54 2009 From: amdunn at fedoraproject.org (Alan Dunn) Date: Fri, 19 Jun 2009 11:14:54 +0000 (UTC) Subject: rpms/coq/devel coq-check-8.2.patch, NONE, 1.1 coq-makefile-strip-8.2.patch, NONE, 1.1 coq-micromega-8.2.patch, NONE, 1.1 .cvsignore, 1.4, 1.5 coq.spec, 1.10, 1.11 import.log, 1.7, 1.8 sources, 1.4, 1.5 check.patch, 1.1, NONE cmxa-install.patch, 1.3, NONE coq-icon.png, 1.1, NONE coq-lablgtk-2.12.patch, 1.1, NONE makefile-parser.patch, 1.1, NONE makefile-strip.patch, 1.1, NONE makefile.patch, 1.1, NONE parser-man.patch, 1.1, NONE Message-ID: <20090619111454.E71AE700F9@cvs1.fedora.phx.redhat.com> Author: amdunn Update of /cvs/pkgs/rpms/coq/devel In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv5306/devel Modified Files: .cvsignore coq.spec import.log sources Added Files: coq-check-8.2.patch coq-makefile-strip-8.2.patch coq-micromega-8.2.patch Removed Files: check.patch cmxa-install.patch coq-icon.png coq-lablgtk-2.12.patch makefile-parser.patch makefile-strip.patch makefile.patch parser-man.patch Log Message: * Thu Jun 18 2009 Alan Dunn - 8.2-1 - New upstream release - Seems documentation license has changed or wasn't explicitly stated before, fixed (is ok Fedora license) - Added versioning to documentation - Removed special OCaml, TeX logic for Fedora < 9 (no longer relevant) - Dropped makefile patch for compiling grammar.cma (fixed in Coq 8.2) - Dropped cmxa-install patch (fixed in Coq 8.2) - Changed makefile-strip patch and name (not yet fixed upstream...) - Changed check.patch -> coq-check-(version).patch, slightly changed for 8.2 (not yet fixed upstream...) - Dropped parser-renaming makefile-parser.patch, parser-man.patch (fixed in Coq 8.2) - Dropped coq-lablgtk-2.12.patch (fixed in Coq 8.2) - Changed way source (.v) files are installed - Stopped addition of other icon file (icon fixed in Coq 8.2) - Bytecode executables are now "clean" (not build with custom -> don't need to configure prelink around these) - define -> global - Added ExcludeArch sparc64 coq-check-8.2.patch: --- NEW FILE coq-check-8.2.patch --- --- test-suite/check 2009-01-05 09:01:04.000000000 -0500 +++ test-suite/check 2009-04-08 08:05:08.000000000 -0400 @@ -52,7 +52,7 @@ nbtests=`expr $nbtests + 1` printf " "$f"..." tmpoutput=`mktemp /tmp/coqcheck.XXXXXX` - $command $f 2>&1 | grep -v "Welcome to Coq" | grep -v "Skipping rcfile loading" > $tmpoutput + $command $f 2>&1 | grep -v "Welcome to Coq" | grep -v "Skipping rcfile loading" | grep -v "some rule has been masked" > $tmpoutput foutput=`dirname $f`/`basename $f .v`.out diff $tmpoutput $foutput > /dev/null 2>&1 if [ $? = 0 ]; then coq-makefile-strip-8.2.patch: --- NEW FILE coq-makefile-strip-8.2.patch --- --- Makefile.build 2009-02-17 11:14:07.000000000 -0500 +++ Makefile.build 2009-04-08 07:47:41.000000000 -0400 @@ -468,6 +468,7 @@ bin/coq-interface.opt$(EXE): $(COQMKTOP) $(LINKCMX) $(LIBCOQRUN) $(INTERFACECMX) $(SHOW)'COQMKTOP -o $@' $(HIDE)$(COQMKTOP) -boot -opt $(OPTFLAGS) -o $@ $(INTERFACECMX) + $(STRIP) $@ bin/coq-parser$(EXE):$(LIBCOQRUN) $(PARSERCMO) $(SHOW)'OCAMLC -o $@' @@ -478,6 +479,7 @@ $(SHOW)'OCAMLOPT -o $@' $(HIDE)$(OCAMLOPT) -linkall $(OPTFLAGS) -o $@ \ $(LIBCOQRUN) $(DYNLINKCMXA) str.cmxa nums.cmxa $(CMXA) $(PARSERCMX) + $(STRIP) $@ pcoq-files:: $(INTERFACEVO) $(INTERFACERC) coq-micromega-8.2.patch: --- NEW FILE coq-micromega-8.2.patch --- --- contrib/micromega/coq_micromega.ml 2009-01-05 09:01:04.000000000 -0500 +++ contrib/micromega/coq_micromega.ml 2009-04-08 12:52:49.000000000 -0400 @@ -1192,9 +1192,7 @@ let tmp_from = Filename.temp_file "csdpcert" ".out" in output_value ch_to (provername,poly : provername * micromega_polys); close_out ch_to; - let cmdname = - List.fold_left Filename.concat (Envars.coqlib ()) - ["contrib"; "micromega"; "csdpcert" ^ Coq_config.exec_extension] in + let cmdname = "csdpcert" in let c = Sys.command (cmdname ^" "^ tmp_to ^" "^ tmp_from) in (try Sys.remove tmp_to with _ -> ()); if c <> 0 then Util.error ("Failed to call csdp certificate generator"); Index: .cvsignore =================================================================== RCS file: /cvs/pkgs/rpms/coq/devel/.cvsignore,v retrieving revision 1.4 retrieving revision 1.5 diff -u -p -r1.4 -r1.5 --- .cvsignore 4 Mar 2009 16:58:27 -0000 1.4 +++ .cvsignore 19 Jun 2009 11:14:51 -0000 1.5 @@ -1,7 +1,7 @@ -Coq-Library.pdf.gz Coq-RecTutorial.pdf.gz -Coq-Reference-Manual.pdf.gz -Coq-Tutorial.v.pdf.gz -coq-8.1pl4.tar.gz -coq-refman-html.tar.gz -coq-stdlib-html.tar.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 Index: coq.spec =================================================================== RCS file: /cvs/pkgs/rpms/coq/devel/coq.spec,v retrieving revision 1.10 retrieving revision 1.11 diff -u -p -r1.10 -r1.11 --- coq.spec 17 Jun 2009 10:53:40 -0000 1.10 +++ coq.spec 19 Jun 2009 11:14:52 -0000 1.11 @@ -17,51 +17,46 @@ # package creation. # # It appears as though ALL of these are necessary to prevent unwanted -# stripping +# stripping (necessary anymore?) -%define __os_install_post /usr/lib/rpm/brp-compress %{nil} -%define _enable_debug_package 0 -%define debug_package %{nil} +%global __os_install_post /usr/lib/rpm/brp-compress %{nil} +%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.1pl4 -Release: 3%{?dist}.1 +Version: 8.2 +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/coq-%{version}.tar.gz -Source1: Coq-Library.pdf.gz -Source2: Coq-Reference-Manual.pdf.gz -Source3: Coq-Tutorial.v.pdf.gz +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.tar.gz -Source6: coq-stdlib-html.tar.gz +Source5: coq-refman-html-%{version}.tar.gz +Source6: coq-stdlib-html-%{version}.tar.gz Source7: RecTutorial.v Source8: coqide.desktop -Source9: coq-icon.png Source10: README.coq-emacs -Patch0: makefile.patch -Patch1: cmxa-install.patch -Patch2: makefile-strip.patch -Patch3: check.patch -Patch4: makefile-parser.patch -Patch5: parser-man.patch -Patch6: coq-lablgtk-2.12.patch +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, prelink - - -%if 0%{?fedora} < 9 -BuildRequires: tetex, tetex-latex -# There's no ocaml-camlp5-devel for ppc64 in Fedora <= 8 -# bz# 458467 +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 +ExcludeArch: s390 s390x sparc64 +# Getting an error re: pthread_atfork - going to file a bugzilla bug +# and number will end up here ExcludeArch: ppc64 -%else -BuildRequires: texlive-latex, texlive-texmf -%endif -ExcludeArch: s390 s390x %description Coq is a formal proof management system. It allows for the development @@ -91,6 +86,7 @@ This package provides Coqide, a lightwei %package doc Group: Applications/Engineering +License: Open Publication Summary: Documentation for Coq proof management system %description doc @@ -121,10 +117,11 @@ modules and loaded into the system. This package provides emacs mode files for formatting Coq input. %prep -%setup -q +%setup -q -n %{tar_base_name} # Patch description: -# Considered each of the seven patches from the Debian Coq package: +# Considered each of the seven patches from the Debian Coq package +# (ones not listed are eliminated from the list - see changelog) # Credit goes to the Debian patch creators for their patches # (See http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/patches/?rev=0&sc=0) @@ -142,42 +139,25 @@ This package provides emacs mode files f # detected # - check.dpatch: suppress a test warning, similar change made in my # check.patch -# - cmxa-install.dpatch: fixes cmxa install by testing for opt, similar -# change made in cmxa-install.patch -# - configure.dpatch: fixes detection of ocamlopt - We do this detection -# seperately anyway in this RPM, no change made # - coqdoc_stdlib.dpatch: extra documentation option - Perhaps do this # in the future, but for now, no change made -# - makefile.dpatch: fix testing on non-native architecture compiles, similar change made in makefile.patch # - no-complexity-test.dpatch: turn off some of the tests - Perhaps this # change was made due to a failure in complexity tests when they # "don't run quickly enough", which is likely to be incredibly # variable, but unsure, so no change made +# I created patch0 to fix stripping for some native-code binaries, +# unlike the inconsistent way it was done in the original makefile %patch0 -%patch1 - -# I created patch3 to consistently strip native-code binaries, unlike -# the inconsistent way it was done in the original makefile -%patch2 # This patch may not be strictly necessary unless the tests are # incorporated into the build process somehow. However, the tests don't # work properly without it. -%patch3 +%patch1 -# Rename binary parser -> coq-parser to avoid a name conflict with -# other packages (and also to be more informative) -# Patch manpage as well. -# Upstream agreed this was a good idea. -%patch4 -%patch5 -mv man/parser.1 man/coq-parser.1 - -# Minor fix to accommodate a changed signature in lablgtk 2.12 -if grep accepts_tab %{_libdir}/ocaml/lablgtk2/gText.mli; then -%patch6 -fi +# Micromega contrib tries to put a binary into share - move it, but +# ensure the contrib files can still properly call the binary +%patch2 # Fix some files that are not in UTF-8 encoding @@ -185,18 +165,18 @@ for f in CHANGES CREDITS COPYRIGHT; do mv $f $f.old; iconv -f ISO-8859-1 -t UTF-8 < $f.old > $f; rm $f.old done -%define emacs_lispdir %{_datadir}/emacs/site-lisp -%define tex_dir %{_datadir}/texmf/tex/latex/misc +%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 %SOURCE9 %SOURCE10 . +cp %SOURCE1 %SOURCE2 %SOURCE3 %SOURCE4 %SOURCE5 %SOURCE6 %SOURCE7 %SOURCE8 %SOURCE10 . gunzip *.gz for f in *.tar; do tar xf $f done %build -%define opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0) +%global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0) # optimized binary ppc64 building does not work at the moment - the # log files are no real help, but we fail on bootstrap with the @@ -207,18 +187,28 @@ done # appears to be the command that dies. It appears that the status of # OCaml has been somewhat uncertain on ppc64, perhaps this is the cause? # However, bytecode compilation DOES work -> do this for now +# +# Update: now (6/18) appears that neither works, but I'll keep this +# here for now to remind myself when I can get it working on either +# byte or native %ifarch ppc64 -%define opt 0 +%global opt 0 %endif # Define opt flag based upon prior opt detection and restrictions %if %{opt} -%define opt_option --opt +%global opt_option --opt %else -%define opt_option --byte-only +%global opt_option --byte-only %endif -bash configure -prefix %{_prefix} -libdir %{_datadir}/coq -bindir %{_bindir} -mandir %{_mandir} -emacs %{emacs_lispdir} -coqdocdir %{tex_dir} %{opt_option} -reals all -camlp5dir %{_libdir}/ocaml/camlp5 +# Last flag is to locate the coq .so that will be created for bytecode +# executables + +%global coq_sopath %{_libdir}/ocaml/stublibs + +./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 @@ -229,6 +219,10 @@ for f in bin/*; do file $f | grep "ELF" && execstack -c $f done +# Strip shared object (not sure where the best location for a +# makefile patch for this would be) +strip kernel/byterun/dllcoqrun.so + %install rm -rf %{buildroot} @@ -236,13 +230,12 @@ make COQINSTALLPREFIX="%{buildroot}" ins # Install desktop icon and menu entry -%define coqdatadir %{_datadir}/coq +%global coqdatadir %{_datadir}/coq %if %(test -d %{buildroot}%{coqdatadir} && echo 1 || echo 0) != 1 mkdir -p %{buildroot}%{coqdatadir} %endif -cp coq-icon.png %{buildroot}%{coqdatadir} -sed -i -e 's|ICON-LOCATION-BASE|%{coqdatadir}|' coqide.desktop +sed -i -e 's|ICON-LOCATION-BASE|%{coqdatadir}/ide/coq.png|' coqide.desktop desktop-file-install --vendor="fedora" \ --dir=%{buildroot}%{_datadir}/applications \ @@ -250,32 +243,26 @@ coqide.desktop # Install main Coq .v files -for d in `find contrib theories -mindepth 1 -maxdepth 1 -type d`; do -ls $d/*.v 1>/dev/null 2>&1 && mkdir -p %{buildroot}%{coqdatadir}/$d && cp -pr $d/*.v %{buildroot}%{coqdatadir}/$d 2>/dev/null || true +for f in `find contrib theories -name '*.v' -type f`; do +mkdir -p %{buildroot}%{coqdatadir}/`dirname $f` && cp -p $f %{buildroot}%{coqdatadir}/`dirname $f` done # Install tutorial code -%define tutorialcodedir %{coqdatadir}/tutorial +%global tutorialcodedir %{coqdatadir}/tutorial %if %(test -d %{buildroot}%{tutorialcodedir} && echo 1 || echo 0) != 1 mkdir -p %{buildroot}%{tutorialcodedir} %endif mv RecTutorial.v %{buildroot}%{tutorialcodedir} -# Make sure that prelink does not foul up our bytecode executables by -# stripping them with a cron job. This is done in install to ensure -# that exactly the files that are eventually installed are in the -# list, not all of the files in the bin directory of the build - -%define prelinkfilename %{name}-prelink.conf -cd %{buildroot}%{_bindir} -for f in *; do -file $f | grep "not stripped" | sed -e 's/:.*//' -e 's!^!-b %{_bindir}/!' >> %{prelinkfilename} -done +# Coq tries to move a .so into share - move it (easier than a makefile +# patch) + +mkdir -p %{buildroot}%{coq_sopath} +mv %{buildroot}%{coqdatadir}/dllcoqrun.so %{buildroot}%{coq_sopath} -%define prelinkconfdir %{_sysconfdir}/prelink.conf.d -mkdir -p %{buildroot}%{prelinkconfdir} -mv %{prelinkfilename} %{buildroot}%{prelinkconfdir} +# Micromega contrib tries to sneak an executable into share - move it +mv %{buildroot}%{coqdatadir}/contrib/micromega/csdpcert %{buildroot}%{_bindir} %clean rm -rf %{buildroot} @@ -284,48 +271,46 @@ rm -rf %{buildroot} # byte compiled version can be used to compile new version through # coqmktop +# Exclude libcoqrun.a only when it is installed (this appears to be +# only for the native compile case) + %files %defattr(-,root,root,-) -%doc CHANGES COMPATIBILITY COPYRIGHT CREDITS INSTALL KNOWN-BUGS LICENSE README +%doc CHANGES COMPATIBILITY COPYRIGHT CREDITS INSTALL LICENSE README %doc %{_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}/coq-parser -# %%if %%{opt} -# %%{_bindir}/coq-parser.opt -# %%endif -# Exclude ide files to put in a separate package +%{_bindir}/csdpcert %exclude %{_bindir}/coqide* %exclude %{coqdatadir}/ide %if %{opt} -%exclude %{coqdatadir}/*.cmxa +%exclude %{coqdatadir}/*/*.cmxa +%exclude %{coqdatadir}/*/*.cmx +%exclude %{coqdatadir}/*/*.a +%exclude %{coqdatadir}/*/*.o %endif %{tex_dir}/coq* -# We DO want to replace any such file with this name - it will only be -# for Coq, and we want to correctly reflect the set of files that -# needs to be blacklisted from prelink with this new install -%config %{prelinkconfdir}/%{prelinkfilename} %files coqide %defattr(-,root,root,-) %doc INSTALL.ide %{_bindir}/coqide* -%{_datadir}/coq/ide -# Exclude a corrupted file from the tarball -%exclude %{_datadir}/coq/ide/coq.png -# Instead include a non-corrupted icon somewhere else +%{coqdatadir}/ide %dir %{coqdatadir} -%{coqdatadir}/coq-icon.png # Is it ok to assume this is what desktop-file-install renames coqide.desktop to? %{_datadir}/applications/fedora-coqide.desktop %files doc %defattr(-,root,root,-) -%doc Coq-Library.pdf -%doc Coq-Reference-Manual.pdf -%doc Coq-Tutorial.v.pdf +%doc Coq-Library-%{version}.pdf +%doc Coq-Reference-Manual-%{version}.pdf +%doc Coq-Tutorial-%{version}.pdf %doc Coq-RecTutorial.pdf %dir %{coqdatadir} %{tutorialcodedir} @@ -333,14 +318,33 @@ rm -rf %{buildroot} %doc refman %doc stdlib - %files emacs %defattr(-,root,root,-) %{_datadir}/emacs/site-lisp/coq* %doc README.coq-emacs - %changelog +* Thu Jun 18 2009 Alan Dunn - 8.2-1 +- New upstream release +- Seems documentation license has changed or wasn't explicitly stated + before, fixed (is ok Fedora license) +- Added versioning to documentation +- Removed special OCaml, TeX logic for Fedora < 9 (no longer relevant) +- Dropped makefile patch for compiling grammar.cma (fixed in Coq 8.2) +- Dropped cmxa-install patch (fixed in Coq 8.2) +- Changed makefile-strip patch and name (not yet fixed upstream...) +- Changed check.patch -> coq-check-(version).patch, slightly changed + for 8.2 (not yet fixed upstream...) +- Dropped parser-renaming makefile-parser.patch, parser-man.patch + (fixed in Coq 8.2) +- Dropped coq-lablgtk-2.12.patch (fixed in Coq 8.2) +- Changed way source (.v) files are installed +- Stopped addition of other icon file (icon fixed in Coq 8.2) +- Bytecode executables are now "clean" (not build with custom -> don't + need to configure prelink around these) +- define -> global +- Added ExcludeArch sparc64 + * Wed Jun 17 2009 S390x secondary arch maintainer 8.1pl4-3.1 - ExcludeArch s390, s390x as we don't have OCaml on those archs Index: import.log =================================================================== RCS file: /cvs/pkgs/rpms/coq/devel/import.log,v retrieving revision 1.7 retrieving revision 1.8 diff -u -p -r1.7 -r1.8 --- import.log 4 Mar 2009 17:07:29 -0000 1.7 +++ import.log 19 Jun 2009 11:14:53 -0000 1.8 @@ -5,3 +5,4 @@ coq-8_1pl3-4_fc9:HEAD:coq-8.1pl3-4.fc9.s coq-8_1pl3-5_fc9:HEAD:coq-8.1pl3-5.fc9.src.rpm:1224703139 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 Index: sources =================================================================== RCS file: /cvs/pkgs/rpms/coq/devel/sources,v retrieving revision 1.4 retrieving revision 1.5 diff -u -p -r1.4 -r1.5 --- sources 4 Mar 2009 16:58:27 -0000 1.4 +++ sources 19 Jun 2009 11:14:53 -0000 1.5 @@ -1,7 +1,7 @@ -8b14a9c8f65ea5bd592901b3649346a7 Coq-Library.pdf.gz 0e3d5eac23416ec75dd59fabdcc1367c Coq-RecTutorial.pdf.gz -021c58a1f2e5d029928ffae0cc9703b0 Coq-Reference-Manual.pdf.gz -bcb4d1c4857bfdae5c22f8fc0be6853c Coq-Tutorial.v.pdf.gz -8fa623538d362d8f48d78e598c43215e coq-8.1pl4.tar.gz -04285e3a76571db6e1d2fbe198c76120 coq-refman-html.tar.gz -17b1edf9122fd89c8b99d4e047b54fb8 coq-stdlib-html.tar.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 --- check.patch DELETED --- --- cmxa-install.patch DELETED --- --- coq-lablgtk-2.12.patch DELETED --- --- makefile-parser.patch DELETED --- --- makefile-strip.patch DELETED --- --- makefile.patch DELETED --- --- parser-man.patch DELETED --- From bugzilla at redhat.com Mon Jun 22 01:12:00 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Sun, 21 Jun 2009 21:12:00 -0400 Subject: [Bug 487533] [RHEL5]: virt-top doesn't show disk transfer statistics In-Reply-To: References: Message-ID: <200906220112.n5M1C0t7008025@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=487533 Michael Stahnke changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |mastahnke at gmail.com Status Whiteboard| |ActualBug -- 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 redhat.com Wed Jun 24 17:04:32 2009 From: rjones at redhat.com (Richard W.M. Jones) Date: Wed, 24 Jun 2009 18:04:32 +0100 Subject: Meet us at Berlin FUDCon / LinuxTAG, Friday - Sunday (26-28 June) Message-ID: <20090624170432.GA22667@amd.home.annexia.org> Mark McLoughlin and myself will be at LinuxTag and FUDCon in Berlin this week. There's a talk on virtualization, Saturday 11am. And, subject to demand, hackfests on libguestfs and the Windows cross-compiler (Fedora MinGW project) on Sunday. https://fedoraproject.org/wiki/FUDCon:Berlin_and_LinuxTag_2009_talks If you'll be at LinuxTag or FUDCon, please come along and say hello. We're also meeting up with a few people, so if you need my mobile number, email me. More information here: https://fedoraproject.org/wiki/LinuxTag_2009 Rich. -- Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones virt-df lists disk usage of guests without needing to install any software inside the virtual machine. Supports Linux and Windows. http://et.redhat.com/~rjones/virt-df/ From amdunn at fedoraproject.org Sat Jun 20 01:09:00 2009 From: amdunn at fedoraproject.org (Alan Dunn) Date: Sat, 20 Jun 2009 01:09:00 +0000 (UTC) Subject: rpms/coq/F-11 coq-check-8.2.patch, NONE, 1.1 coq-makefile-strip-8.2.patch, NONE, 1.1 coq-micromega-8.2.patch, NONE, 1.1 .cvsignore, 1.4, 1.5 coq.spec, 1.10, 1.11 import.log, 1.7, 1.8 sources, 1.4, 1.5 check.patch, 1.1, NONE cmxa-install.patch, 1.3, NONE coq-icon.png, 1.1, NONE coq-lablgtk-2.12.patch, 1.1, NONE makefile-parser.patch, 1.1, NONE makefile-strip.patch, 1.1, NONE makefile.patch, 1.1, NONE parser-man.patch, 1.1, NONE Message-ID: <20090620010900.3C97070033@cvs1.fedora.phx.redhat.com> Author: amdunn Update of /cvs/pkgs/rpms/coq/F-11 In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv28781/F-11 Modified Files: .cvsignore coq.spec import.log sources Added Files: coq-check-8.2.patch coq-makefile-strip-8.2.patch coq-micromega-8.2.patch Removed Files: check.patch cmxa-install.patch coq-icon.png coq-lablgtk-2.12.patch makefile-parser.patch makefile-strip.patch makefile.patch parser-man.patch Log Message: - New upstream release - Seems documentation license has changed or wasn't explicitly stated before, fixed (is ok Fedora license) - Added versioning to documentation - Removed special OCaml, TeX logic for Fedora < 9 (no longer relevant) - Dropped makefile patch for compiling grammar.cma (fixed in Coq 8.2) - Dropped cmxa-install patch (fixed in Coq 8.2) - Changed makefile-strip patch and name (not yet fixed upstream...) - Changed check.patch -> coq-check-(version).patch, slightly changed for 8.2 (not yet fixed upstream...) - Dropped parser-renaming makefile-parser.patch, parser-man.patch (fixed in Coq 8.2) - Dropped coq-lablgtk-2.12.patch (fixed in Coq 8.2) - Changed way source (.v) files are installed - Stopped addition of other icon file (icon fixed in Coq 8.2) - Bytecode executables are now "clean" (not build with custom -> don't need to configure prelink around these) - define -> global - Added ExcludeArch sparc64 coq-check-8.2.patch: --- NEW FILE coq-check-8.2.patch --- --- test-suite/check 2009-01-05 09:01:04.000000000 -0500 +++ test-suite/check 2009-04-08 08:05:08.000000000 -0400 @@ -52,7 +52,7 @@ nbtests=`expr $nbtests + 1` printf " "$f"..." tmpoutput=`mktemp /tmp/coqcheck.XXXXXX` - $command $f 2>&1 | grep -v "Welcome to Coq" | grep -v "Skipping rcfile loading" > $tmpoutput + $command $f 2>&1 | grep -v "Welcome to Coq" | grep -v "Skipping rcfile loading" | grep -v "some rule has been masked" > $tmpoutput foutput=`dirname $f`/`basename $f .v`.out diff $tmpoutput $foutput > /dev/null 2>&1 if [ $? = 0 ]; then coq-makefile-strip-8.2.patch: --- NEW FILE coq-makefile-strip-8.2.patch --- --- Makefile.build 2009-02-17 11:14:07.000000000 -0500 +++ Makefile.build 2009-04-08 07:47:41.000000000 -0400 @@ -468,6 +468,7 @@ bin/coq-interface.opt$(EXE): $(COQMKTOP) $(LINKCMX) $(LIBCOQRUN) $(INTERFACECMX) $(SHOW)'COQMKTOP -o $@' $(HIDE)$(COQMKTOP) -boot -opt $(OPTFLAGS) -o $@ $(INTERFACECMX) + $(STRIP) $@ bin/coq-parser$(EXE):$(LIBCOQRUN) $(PARSERCMO) $(SHOW)'OCAMLC -o $@' @@ -478,6 +479,7 @@ $(SHOW)'OCAMLOPT -o $@' $(HIDE)$(OCAMLOPT) -linkall $(OPTFLAGS) -o $@ \ $(LIBCOQRUN) $(DYNLINKCMXA) str.cmxa nums.cmxa $(CMXA) $(PARSERCMX) + $(STRIP) $@ pcoq-files:: $(INTERFACEVO) $(INTERFACERC) coq-micromega-8.2.patch: --- NEW FILE coq-micromega-8.2.patch --- --- contrib/micromega/coq_micromega.ml 2009-01-05 09:01:04.000000000 -0500 +++ contrib/micromega/coq_micromega.ml 2009-04-08 12:52:49.000000000 -0400 @@ -1192,9 +1192,7 @@ let tmp_from = Filename.temp_file "csdpcert" ".out" in output_value ch_to (provername,poly : provername * micromega_polys); close_out ch_to; - let cmdname = - List.fold_left Filename.concat (Envars.coqlib ()) - ["contrib"; "micromega"; "csdpcert" ^ Coq_config.exec_extension] in + let cmdname = "csdpcert" in let c = Sys.command (cmdname ^" "^ tmp_to ^" "^ tmp_from) in (try Sys.remove tmp_to with _ -> ()); if c <> 0 then Util.error ("Failed to call csdp certificate generator"); Index: .cvsignore =================================================================== RCS file: /cvs/pkgs/rpms/coq/F-11/.cvsignore,v retrieving revision 1.4 retrieving revision 1.5 diff -u -p -r1.4 -r1.5 --- .cvsignore 4 Mar 2009 16:58:27 -0000 1.4 +++ .cvsignore 20 Jun 2009 01:08:28 -0000 1.5 @@ -1,7 +1,7 @@ -Coq-Library.pdf.gz Coq-RecTutorial.pdf.gz -Coq-Reference-Manual.pdf.gz -Coq-Tutorial.v.pdf.gz -coq-8.1pl4.tar.gz -coq-refman-html.tar.gz -coq-stdlib-html.tar.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 Index: coq.spec =================================================================== RCS file: /cvs/pkgs/rpms/coq/F-11/coq.spec,v retrieving revision 1.10 retrieving revision 1.11 diff -u -p -r1.10 -r1.11 --- coq.spec 17 Jun 2009 10:52:14 -0000 1.10 +++ coq.spec 20 Jun 2009 01:08:29 -0000 1.11 @@ -17,51 +17,46 @@ # package creation. # # It appears as though ALL of these are necessary to prevent unwanted -# stripping +# stripping (necessary anymore?) -%define __os_install_post /usr/lib/rpm/brp-compress %{nil} -%define _enable_debug_package 0 -%define debug_package %{nil} +%global __os_install_post /usr/lib/rpm/brp-compress %{nil} +%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.1pl4 -Release: 3%{?dist}.1 +Version: 8.2 +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/coq-%{version}.tar.gz -Source1: Coq-Library.pdf.gz -Source2: Coq-Reference-Manual.pdf.gz -Source3: Coq-Tutorial.v.pdf.gz +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.tar.gz -Source6: coq-stdlib-html.tar.gz +Source5: coq-refman-html-%{version}.tar.gz +Source6: coq-stdlib-html-%{version}.tar.gz Source7: RecTutorial.v Source8: coqide.desktop -Source9: coq-icon.png Source10: README.coq-emacs -Patch0: makefile.patch -Patch1: cmxa-install.patch -Patch2: makefile-strip.patch -Patch3: check.patch -Patch4: makefile-parser.patch -Patch5: parser-man.patch -Patch6: coq-lablgtk-2.12.patch +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, prelink - - -%if 0%{?fedora} < 9 -BuildRequires: tetex, tetex-latex -# There's no ocaml-camlp5-devel for ppc64 in Fedora <= 8 -# bz# 458467 +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 +ExcludeArch: s390 s390x sparc64 +# Getting an error re: pthread_atfork - going to file a bugzilla bug +# and number will end up here ExcludeArch: ppc64 -%else -BuildRequires: texlive-latex, texlive-texmf -%endif -ExcludeArch: s390 s390x %description Coq is a formal proof management system. It allows for the development @@ -91,6 +86,7 @@ This package provides Coqide, a lightwei %package doc Group: Applications/Engineering +License: Open Publication Summary: Documentation for Coq proof management system %description doc @@ -121,10 +117,11 @@ modules and loaded into the system. This package provides emacs mode files for formatting Coq input. %prep -%setup -q +%setup -q -n %{tar_base_name} # Patch description: -# Considered each of the seven patches from the Debian Coq package: +# Considered each of the seven patches from the Debian Coq package +# (ones not listed are eliminated from the list - see changelog) # Credit goes to the Debian patch creators for their patches # (See http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/patches/?rev=0&sc=0) @@ -142,42 +139,25 @@ This package provides emacs mode files f # detected # - check.dpatch: suppress a test warning, similar change made in my # check.patch -# - cmxa-install.dpatch: fixes cmxa install by testing for opt, similar -# change made in cmxa-install.patch -# - configure.dpatch: fixes detection of ocamlopt - We do this detection -# seperately anyway in this RPM, no change made # - coqdoc_stdlib.dpatch: extra documentation option - Perhaps do this # in the future, but for now, no change made -# - makefile.dpatch: fix testing on non-native architecture compiles, similar change made in makefile.patch # - no-complexity-test.dpatch: turn off some of the tests - Perhaps this # change was made due to a failure in complexity tests when they # "don't run quickly enough", which is likely to be incredibly # variable, but unsure, so no change made +# I created patch0 to fix stripping for some native-code binaries, +# unlike the inconsistent way it was done in the original makefile %patch0 -%patch1 - -# I created patch3 to consistently strip native-code binaries, unlike -# the inconsistent way it was done in the original makefile -%patch2 # This patch may not be strictly necessary unless the tests are # incorporated into the build process somehow. However, the tests don't # work properly without it. -%patch3 +%patch1 -# Rename binary parser -> coq-parser to avoid a name conflict with -# other packages (and also to be more informative) -# Patch manpage as well. -# Upstream agreed this was a good idea. -%patch4 -%patch5 -mv man/parser.1 man/coq-parser.1 - -# Minor fix to accommodate a changed signature in lablgtk 2.12 -if grep accepts_tab %{_libdir}/ocaml/lablgtk2/gText.mli; then -%patch6 -fi +# Micromega contrib tries to put a binary into share - move it, but +# ensure the contrib files can still properly call the binary +%patch2 # Fix some files that are not in UTF-8 encoding @@ -185,18 +165,18 @@ for f in CHANGES CREDITS COPYRIGHT; do mv $f $f.old; iconv -f ISO-8859-1 -t UTF-8 < $f.old > $f; rm $f.old done -%define emacs_lispdir %{_datadir}/emacs/site-lisp -%define tex_dir %{_datadir}/texmf/tex/latex/misc +%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 %SOURCE9 %SOURCE10 . +cp %SOURCE1 %SOURCE2 %SOURCE3 %SOURCE4 %SOURCE5 %SOURCE6 %SOURCE7 %SOURCE8 %SOURCE10 . gunzip *.gz for f in *.tar; do tar xf $f done %build -%define opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0) +%global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0) # optimized binary ppc64 building does not work at the moment - the # log files are no real help, but we fail on bootstrap with the @@ -207,18 +187,28 @@ done # appears to be the command that dies. It appears that the status of # OCaml has been somewhat uncertain on ppc64, perhaps this is the cause? # However, bytecode compilation DOES work -> do this for now +# +# Update: now (6/18) appears that neither works, but I'll keep this +# here for now to remind myself when I can get it working on either +# byte or native %ifarch ppc64 -%define opt 0 +%global opt 0 %endif # Define opt flag based upon prior opt detection and restrictions %if %{opt} -%define opt_option --opt +%global opt_option --opt %else -%define opt_option --byte-only +%global opt_option --byte-only %endif -bash configure -prefix %{_prefix} -libdir %{_datadir}/coq -bindir %{_bindir} -mandir %{_mandir} -emacs %{emacs_lispdir} -coqdocdir %{tex_dir} %{opt_option} -reals all -camlp5dir %{_libdir}/ocaml/camlp5 +# Last flag is to locate the coq .so that will be created for bytecode +# executables + +%global coq_sopath %{_libdir}/ocaml/stublibs + +./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 @@ -229,6 +219,10 @@ for f in bin/*; do file $f | grep "ELF" && execstack -c $f done +# Strip shared object (not sure where the best location for a +# makefile patch for this would be) +strip kernel/byterun/dllcoqrun.so + %install rm -rf %{buildroot} @@ -236,13 +230,12 @@ make COQINSTALLPREFIX="%{buildroot}" ins # Install desktop icon and menu entry -%define coqdatadir %{_datadir}/coq +%global coqdatadir %{_datadir}/coq %if %(test -d %{buildroot}%{coqdatadir} && echo 1 || echo 0) != 1 mkdir -p %{buildroot}%{coqdatadir} %endif -cp coq-icon.png %{buildroot}%{coqdatadir} -sed -i -e 's|ICON-LOCATION-BASE|%{coqdatadir}|' coqide.desktop +sed -i -e 's|ICON-LOCATION-BASE|%{coqdatadir}/ide/coq.png|' coqide.desktop desktop-file-install --vendor="fedora" \ --dir=%{buildroot}%{_datadir}/applications \ @@ -250,32 +243,26 @@ coqide.desktop # Install main Coq .v files -for d in `find contrib theories -mindepth 1 -maxdepth 1 -type d`; do -ls $d/*.v 1>/dev/null 2>&1 && mkdir -p %{buildroot}%{coqdatadir}/$d && cp -pr $d/*.v %{buildroot}%{coqdatadir}/$d 2>/dev/null || true +for f in `find contrib theories -name '*.v' -type f`; do +mkdir -p %{buildroot}%{coqdatadir}/`dirname $f` && cp -p $f %{buildroot}%{coqdatadir}/`dirname $f` done # Install tutorial code -%define tutorialcodedir %{coqdatadir}/tutorial +%global tutorialcodedir %{coqdatadir}/tutorial %if %(test -d %{buildroot}%{tutorialcodedir} && echo 1 || echo 0) != 1 mkdir -p %{buildroot}%{tutorialcodedir} %endif mv RecTutorial.v %{buildroot}%{tutorialcodedir} -# Make sure that prelink does not foul up our bytecode executables by -# stripping them with a cron job. This is done in install to ensure -# that exactly the files that are eventually installed are in the -# list, not all of the files in the bin directory of the build - -%define prelinkfilename %{name}-prelink.conf -cd %{buildroot}%{_bindir} -for f in *; do -file $f | grep "not stripped" | sed -e 's/:.*//' -e 's!^!-b %{_bindir}/!' >> %{prelinkfilename} -done +# Coq tries to move a .so into share - move it (easier than a makefile +# patch) + +mkdir -p %{buildroot}%{coq_sopath} +mv %{buildroot}%{coqdatadir}/dllcoqrun.so %{buildroot}%{coq_sopath} -%define prelinkconfdir %{_sysconfdir}/prelink.conf.d -mkdir -p %{buildroot}%{prelinkconfdir} -mv %{prelinkfilename} %{buildroot}%{prelinkconfdir} +# Micromega contrib tries to sneak an executable into share - move it +mv %{buildroot}%{coqdatadir}/contrib/micromega/csdpcert %{buildroot}%{_bindir} %clean rm -rf %{buildroot} @@ -284,48 +271,46 @@ rm -rf %{buildroot} # byte compiled version can be used to compile new version through # coqmktop +# Exclude libcoqrun.a only when it is installed (this appears to be +# only for the native compile case) + %files %defattr(-,root,root,-) -%doc CHANGES COMPATIBILITY COPYRIGHT CREDITS INSTALL KNOWN-BUGS LICENSE README +%doc CHANGES COMPATIBILITY COPYRIGHT CREDITS INSTALL LICENSE README %doc %{_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}/coq-parser -# %%if %%{opt} -# %%{_bindir}/coq-parser.opt -# %%endif -# Exclude ide files to put in a separate package +%{_bindir}/csdpcert %exclude %{_bindir}/coqide* %exclude %{coqdatadir}/ide %if %{opt} -%exclude %{coqdatadir}/*.cmxa +%exclude %{coqdatadir}/*/*.cmxa +%exclude %{coqdatadir}/*/*.cmx +%exclude %{coqdatadir}/*/*.a +%exclude %{coqdatadir}/*/*.o %endif %{tex_dir}/coq* -# We DO want to replace any such file with this name - it will only be -# for Coq, and we want to correctly reflect the set of files that -# needs to be blacklisted from prelink with this new install -%config %{prelinkconfdir}/%{prelinkfilename} %files coqide %defattr(-,root,root,-) %doc INSTALL.ide %{_bindir}/coqide* -%{_datadir}/coq/ide -# Exclude a corrupted file from the tarball -%exclude %{_datadir}/coq/ide/coq.png -# Instead include a non-corrupted icon somewhere else +%{coqdatadir}/ide %dir %{coqdatadir} -%{coqdatadir}/coq-icon.png # Is it ok to assume this is what desktop-file-install renames coqide.desktop to? %{_datadir}/applications/fedora-coqide.desktop %files doc %defattr(-,root,root,-) -%doc Coq-Library.pdf -%doc Coq-Reference-Manual.pdf -%doc Coq-Tutorial.v.pdf +%doc Coq-Library-%{version}.pdf +%doc Coq-Reference-Manual-%{version}.pdf +%doc Coq-Tutorial-%{version}.pdf %doc Coq-RecTutorial.pdf %dir %{coqdatadir} %{tutorialcodedir} @@ -333,14 +318,33 @@ rm -rf %{buildroot} %doc refman %doc stdlib - %files emacs %defattr(-,root,root,-) %{_datadir}/emacs/site-lisp/coq* %doc README.coq-emacs - %changelog +* Thu Jun 18 2009 Alan Dunn - 8.2-1 +- New upstream release +- Seems documentation license has changed or wasn't explicitly stated + before, fixed (is ok Fedora license) +- Added versioning to documentation +- Removed special OCaml, TeX logic for Fedora < 9 (no longer relevant) +- Dropped makefile patch for compiling grammar.cma (fixed in Coq 8.2) +- Dropped cmxa-install patch (fixed in Coq 8.2) +- Changed makefile-strip patch and name (not yet fixed upstream...) +- Changed check.patch -> coq-check-(version).patch, slightly changed + for 8.2 (not yet fixed upstream...) +- Dropped parser-renaming makefile-parser.patch, parser-man.patch + (fixed in Coq 8.2) +- Dropped coq-lablgtk-2.12.patch (fixed in Coq 8.2) +- Changed way source (.v) files are installed +- Stopped addition of other icon file (icon fixed in Coq 8.2) +- Bytecode executables are now "clean" (not build with custom -> don't + need to configure prelink around these) +- define -> global +- Added ExcludeArch sparc64 + * Wed Jun 17 2009 S390x secondary arch maintainer 8.1pl4-3.1 - ExcludeArch s390, s390x as we don't have OCaml on those archs Index: import.log =================================================================== RCS file: /cvs/pkgs/rpms/coq/F-11/import.log,v retrieving revision 1.7 retrieving revision 1.8 diff -u -p -r1.7 -r1.8 --- import.log 4 Mar 2009 17:07:29 -0000 1.7 +++ import.log 20 Jun 2009 01:08:29 -0000 1.8 @@ -5,3 +5,4 @@ coq-8_1pl3-4_fc9:HEAD:coq-8.1pl3-4.fc9.s coq-8_1pl3-5_fc9:HEAD:coq-8.1pl3-5.fc9.src.rpm:1224703139 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:F-11:coq-8.2-1.fc10.src.rpm:1245459709 Index: sources =================================================================== RCS file: /cvs/pkgs/rpms/coq/F-11/sources,v retrieving revision 1.4 retrieving revision 1.5 diff -u -p -r1.4 -r1.5 --- sources 4 Mar 2009 16:58:27 -0000 1.4 +++ sources 20 Jun 2009 01:08:29 -0000 1.5 @@ -1,7 +1,7 @@ -8b14a9c8f65ea5bd592901b3649346a7 Coq-Library.pdf.gz 0e3d5eac23416ec75dd59fabdcc1367c Coq-RecTutorial.pdf.gz -021c58a1f2e5d029928ffae0cc9703b0 Coq-Reference-Manual.pdf.gz -bcb4d1c4857bfdae5c22f8fc0be6853c Coq-Tutorial.v.pdf.gz -8fa623538d362d8f48d78e598c43215e coq-8.1pl4.tar.gz -04285e3a76571db6e1d2fbe198c76120 coq-refman-html.tar.gz -17b1edf9122fd89c8b99d4e047b54fb8 coq-stdlib-html.tar.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 --- check.patch DELETED --- --- cmxa-install.patch DELETED --- --- coq-lablgtk-2.12.patch DELETED --- --- makefile-parser.patch DELETED --- --- makefile-strip.patch DELETED --- --- makefile.patch DELETED --- --- parser-man.patch DELETED --- From amdunn at fedoraproject.org Sat Jun 20 01:20:08 2009 From: amdunn at fedoraproject.org (Alan Dunn) Date: Sat, 20 Jun 2009 01:20:08 +0000 (UTC) Subject: rpms/coq/F-10 coq-check-8.2.patch, NONE, 1.1 coq-makefile-strip-8.2.patch, NONE, 1.1 coq-micromega-8.2.patch, NONE, 1.1 .cvsignore, 1.3, 1.4 coq.spec, 1.6, 1.7 import.log, 1.6, 1.7 sources, 1.3, 1.4 check.patch, 1.1, NONE cmxa-install.patch, 1.2, NONE coq-icon.png, 1.1, NONE coq-lablgtk-2.12.patch, 1.1, NONE makefile-parser.patch, 1.1, NONE makefile-strip.patch, 1.1, NONE makefile.patch, 1.1, NONE parser-man.patch, 1.1, NONE Message-ID: <20090620012008.3A75870033@cvs1.fedora.phx.redhat.com> Author: amdunn Update of /cvs/pkgs/rpms/coq/F-10 In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv31695/F-10 Modified Files: .cvsignore coq.spec import.log sources Added Files: coq-check-8.2.patch coq-makefile-strip-8.2.patch coq-micromega-8.2.patch Removed Files: check.patch cmxa-install.patch coq-icon.png coq-lablgtk-2.12.patch makefile-parser.patch makefile-strip.patch makefile.patch parser-man.patch Log Message: - New upstream release - Seems documentation license has changed or wasn't explicitly stated before, fixed (is ok Fedora license) - Added versioning to documentation - Removed special OCaml, TeX logic for Fedora < 9 (no longer relevant) - Dropped makefile patch for compiling grammar.cma (fixed in Coq 8.2) - Dropped cmxa-install patch (fixed in Coq 8.2) - Changed makefile-strip patch and name (not yet fixed upstream...) - Changed check.patch -> coq-check-(version).patch, slightly changed for 8.2 (not yet fixed upstream...) - Dropped parser-renaming makefile-parser.patch, parser-man.patch (fixed in Coq 8.2) - Dropped coq-lablgtk-2.12.patch (fixed in Coq 8.2) - Changed way source (.v) files are installed - Stopped addition of other icon file (icon fixed in Coq 8.2) - Bytecode executables are now "clean" (not build with custom -> don't need to configure prelink around these) - define -> global - Added ExcludeArch sparc64 coq-check-8.2.patch: --- NEW FILE coq-check-8.2.patch --- --- test-suite/check 2009-01-05 09:01:04.000000000 -0500 +++ test-suite/check 2009-04-08 08:05:08.000000000 -0400 @@ -52,7 +52,7 @@ nbtests=`expr $nbtests + 1` printf " "$f"..." tmpoutput=`mktemp /tmp/coqcheck.XXXXXX` - $command $f 2>&1 | grep -v "Welcome to Coq" | grep -v "Skipping rcfile loading" > $tmpoutput + $command $f 2>&1 | grep -v "Welcome to Coq" | grep -v "Skipping rcfile loading" | grep -v "some rule has been masked" > $tmpoutput foutput=`dirname $f`/`basename $f .v`.out diff $tmpoutput $foutput > /dev/null 2>&1 if [ $? = 0 ]; then coq-makefile-strip-8.2.patch: --- NEW FILE coq-makefile-strip-8.2.patch --- --- Makefile.build 2009-02-17 11:14:07.000000000 -0500 +++ Makefile.build 2009-04-08 07:47:41.000000000 -0400 @@ -468,6 +468,7 @@ bin/coq-interface.opt$(EXE): $(COQMKTOP) $(LINKCMX) $(LIBCOQRUN) $(INTERFACECMX) $(SHOW)'COQMKTOP -o $@' $(HIDE)$(COQMKTOP) -boot -opt $(OPTFLAGS) -o $@ $(INTERFACECMX) + $(STRIP) $@ bin/coq-parser$(EXE):$(LIBCOQRUN) $(PARSERCMO) $(SHOW)'OCAMLC -o $@' @@ -478,6 +479,7 @@ $(SHOW)'OCAMLOPT -o $@' $(HIDE)$(OCAMLOPT) -linkall $(OPTFLAGS) -o $@ \ $(LIBCOQRUN) $(DYNLINKCMXA) str.cmxa nums.cmxa $(CMXA) $(PARSERCMX) + $(STRIP) $@ pcoq-files:: $(INTERFACEVO) $(INTERFACERC) coq-micromega-8.2.patch: --- NEW FILE coq-micromega-8.2.patch --- --- contrib/micromega/coq_micromega.ml 2009-01-05 09:01:04.000000000 -0500 +++ contrib/micromega/coq_micromega.ml 2009-04-08 12:52:49.000000000 -0400 @@ -1192,9 +1192,7 @@ let tmp_from = Filename.temp_file "csdpcert" ".out" in output_value ch_to (provername,poly : provername * micromega_polys); close_out ch_to; - let cmdname = - List.fold_left Filename.concat (Envars.coqlib ()) - ["contrib"; "micromega"; "csdpcert" ^ Coq_config.exec_extension] in + let cmdname = "csdpcert" in let c = Sys.command (cmdname ^" "^ tmp_to ^" "^ tmp_from) in (try Sys.remove tmp_to with _ -> ()); if c <> 0 then Util.error ("Failed to call csdp certificate generator"); Index: .cvsignore =================================================================== RCS file: /cvs/pkgs/rpms/coq/F-10/.cvsignore,v retrieving revision 1.3 retrieving revision 1.4 diff -u -p -r1.3 -r1.4 --- .cvsignore 4 Mar 2009 23:51:03 -0000 1.3 +++ .cvsignore 20 Jun 2009 01:19:35 -0000 1.4 @@ -1,7 +1,7 @@ -Coq-Library.pdf.gz Coq-RecTutorial.pdf.gz -Coq-Reference-Manual.pdf.gz -Coq-Tutorial.v.pdf.gz -coq-refman-html.tar.gz -coq-stdlib-html.tar.gz -coq-8.1pl4.tar.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 Index: coq.spec =================================================================== RCS file: /cvs/pkgs/rpms/coq/F-10/coq.spec,v retrieving revision 1.6 retrieving revision 1.7 diff -u -p -r1.6 -r1.7 --- coq.spec 4 Mar 2009 23:51:03 -0000 1.6 +++ coq.spec 20 Jun 2009 01:19:35 -0000 1.7 @@ -17,50 +17,46 @@ # package creation. # # It appears as though ALL of these are necessary to prevent unwanted -# stripping +# stripping (necessary anymore?) -%define __os_install_post /usr/lib/rpm/brp-compress %{nil} -%define _enable_debug_package 0 -%define debug_package %{nil} +%global __os_install_post /usr/lib/rpm/brp-compress %{nil} +%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.1pl4 -Release: 3%{?dist} +Version: 8.2 +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/coq-%{version}.tar.gz -Source1: Coq-Library.pdf.gz -Source2: Coq-Reference-Manual.pdf.gz -Source3: Coq-Tutorial.v.pdf.gz +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.tar.gz -Source6: coq-stdlib-html.tar.gz +Source5: coq-refman-html-%{version}.tar.gz +Source6: coq-stdlib-html-%{version}.tar.gz Source7: RecTutorial.v Source8: coqide.desktop -Source9: coq-icon.png Source10: README.coq-emacs -Patch0: makefile.patch -Patch1: cmxa-install.patch -Patch2: makefile-strip.patch -Patch3: check.patch -Patch4: makefile-parser.patch -Patch5: parser-man.patch -Patch6: coq-lablgtk-2.12.patch +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, prelink - - -%if 0%{?fedora} < 9 -BuildRequires: tetex, tetex-latex -# There's no ocaml-camlp5-devel for ppc64 in Fedora <= 8 -# bz# 458467 +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 +ExcludeArch: s390 s390x sparc64 +# Getting an error re: pthread_atfork - going to file a bugzilla bug +# and number will end up here ExcludeArch: ppc64 -%else -BuildRequires: texlive-latex, texlive-texmf -%endif %description Coq is a formal proof management system. It allows for the development @@ -90,6 +86,7 @@ This package provides Coqide, a lightwei %package doc Group: Applications/Engineering +License: Open Publication Summary: Documentation for Coq proof management system %description doc @@ -120,10 +117,11 @@ modules and loaded into the system. This package provides emacs mode files for formatting Coq input. %prep -%setup -q +%setup -q -n %{tar_base_name} # Patch description: -# Considered each of the seven patches from the Debian Coq package: +# Considered each of the seven patches from the Debian Coq package +# (ones not listed are eliminated from the list - see changelog) # Credit goes to the Debian patch creators for their patches # (See http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/debian/patches/?rev=0&sc=0) @@ -141,42 +139,25 @@ This package provides emacs mode files f # detected # - check.dpatch: suppress a test warning, similar change made in my # check.patch -# - cmxa-install.dpatch: fixes cmxa install by testing for opt, similar -# change made in cmxa-install.patch -# - configure.dpatch: fixes detection of ocamlopt - We do this detection -# seperately anyway in this RPM, no change made # - coqdoc_stdlib.dpatch: extra documentation option - Perhaps do this # in the future, but for now, no change made -# - makefile.dpatch: fix testing on non-native architecture compiles, similar change made in makefile.patch # - no-complexity-test.dpatch: turn off some of the tests - Perhaps this # change was made due to a failure in complexity tests when they # "don't run quickly enough", which is likely to be incredibly # variable, but unsure, so no change made +# I created patch0 to fix stripping for some native-code binaries, +# unlike the inconsistent way it was done in the original makefile %patch0 -%patch1 - -# I created patch3 to consistently strip native-code binaries, unlike -# the inconsistent way it was done in the original makefile -%patch2 # This patch may not be strictly necessary unless the tests are # incorporated into the build process somehow. However, the tests don't # work properly without it. -%patch3 +%patch1 -# Rename binary parser -> coq-parser to avoid a name conflict with -# other packages (and also to be more informative) -# Patch manpage as well. -# Upstream agreed this was a good idea. -%patch4 -%patch5 -mv man/parser.1 man/coq-parser.1 - -# Minor fix to accommodate a changed signature in lablgtk 2.12 -if grep accepts_tab %{_libdir}/ocaml/lablgtk2/gText.mli; then -%patch6 -fi +# Micromega contrib tries to put a binary into share - move it, but +# ensure the contrib files can still properly call the binary +%patch2 # Fix some files that are not in UTF-8 encoding @@ -184,18 +165,18 @@ for f in CHANGES CREDITS COPYRIGHT; do mv $f $f.old; iconv -f ISO-8859-1 -t UTF-8 < $f.old > $f; rm $f.old done -%define emacs_lispdir %{_datadir}/emacs/site-lisp -%define tex_dir %{_datadir}/texmf/tex/latex/misc +%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 %SOURCE9 %SOURCE10 . +cp %SOURCE1 %SOURCE2 %SOURCE3 %SOURCE4 %SOURCE5 %SOURCE6 %SOURCE7 %SOURCE8 %SOURCE10 . gunzip *.gz for f in *.tar; do tar xf $f done %build -%define opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0) +%global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0) # optimized binary ppc64 building does not work at the moment - the # log files are no real help, but we fail on bootstrap with the @@ -206,18 +187,28 @@ done # appears to be the command that dies. It appears that the status of # OCaml has been somewhat uncertain on ppc64, perhaps this is the cause? # However, bytecode compilation DOES work -> do this for now +# +# Update: now (6/18) appears that neither works, but I'll keep this +# here for now to remind myself when I can get it working on either +# byte or native %ifarch ppc64 -%define opt 0 +%global opt 0 %endif # Define opt flag based upon prior opt detection and restrictions %if %{opt} -%define opt_option --opt +%global opt_option --opt %else -%define opt_option --byte-only +%global opt_option --byte-only %endif -bash configure -prefix %{_prefix} -libdir %{_datadir}/coq -bindir %{_bindir} -mandir %{_mandir} -emacs %{emacs_lispdir} -coqdocdir %{tex_dir} %{opt_option} -reals all -camlp5dir %{_libdir}/ocaml/camlp5 +# Last flag is to locate the coq .so that will be created for bytecode +# executables + +%global coq_sopath %{_libdir}/ocaml/stublibs + +./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 @@ -228,6 +219,10 @@ for f in bin/*; do file $f | grep "ELF" && execstack -c $f done +# Strip shared object (not sure where the best location for a +# makefile patch for this would be) +strip kernel/byterun/dllcoqrun.so + %install rm -rf %{buildroot} @@ -235,13 +230,12 @@ make COQINSTALLPREFIX="%{buildroot}" ins # Install desktop icon and menu entry -%define coqdatadir %{_datadir}/coq +%global coqdatadir %{_datadir}/coq %if %(test -d %{buildroot}%{coqdatadir} && echo 1 || echo 0) != 1 mkdir -p %{buildroot}%{coqdatadir} %endif -cp coq-icon.png %{buildroot}%{coqdatadir} -sed -i -e 's|ICON-LOCATION-BASE|%{coqdatadir}|' coqide.desktop +sed -i -e 's|ICON-LOCATION-BASE|%{coqdatadir}/ide/coq.png|' coqide.desktop desktop-file-install --vendor="fedora" \ --dir=%{buildroot}%{_datadir}/applications \ @@ -249,32 +243,26 @@ coqide.desktop # Install main Coq .v files -for d in `find contrib theories -mindepth 1 -maxdepth 1 -type d`; do -ls $d/*.v 1>/dev/null 2>&1 && mkdir -p %{buildroot}%{coqdatadir}/$d && cp -pr $d/*.v %{buildroot}%{coqdatadir}/$d 2>/dev/null || true +for f in `find contrib theories -name '*.v' -type f`; do +mkdir -p %{buildroot}%{coqdatadir}/`dirname $f` && cp -p $f %{buildroot}%{coqdatadir}/`dirname $f` done # Install tutorial code -%define tutorialcodedir %{coqdatadir}/tutorial +%global tutorialcodedir %{coqdatadir}/tutorial %if %(test -d %{buildroot}%{tutorialcodedir} && echo 1 || echo 0) != 1 mkdir -p %{buildroot}%{tutorialcodedir} %endif mv RecTutorial.v %{buildroot}%{tutorialcodedir} -# Make sure that prelink does not foul up our bytecode executables by -# stripping them with a cron job. This is done in install to ensure -# that exactly the files that are eventually installed are in the -# list, not all of the files in the bin directory of the build - -%define prelinkfilename %{name}-prelink.conf -cd %{buildroot}%{_bindir} -for f in *; do -file $f | grep "not stripped" | sed -e 's/:.*//' -e 's!^!-b %{_bindir}/!' >> %{prelinkfilename} -done +# Coq tries to move a .so into share - move it (easier than a makefile +# patch) -%define prelinkconfdir %{_sysconfdir}/prelink.conf.d -mkdir -p %{buildroot}%{prelinkconfdir} -mv %{prelinkfilename} %{buildroot}%{prelinkconfdir} +mkdir -p %{buildroot}%{coq_sopath} +mv %{buildroot}%{coqdatadir}/dllcoqrun.so %{buildroot}%{coq_sopath} + +# Micromega contrib tries to sneak an executable into share - move it +mv %{buildroot}%{coqdatadir}/contrib/micromega/csdpcert %{buildroot}%{_bindir} %clean rm -rf %{buildroot} @@ -283,48 +271,46 @@ rm -rf %{buildroot} # byte compiled version can be used to compile new version through # coqmktop +# Exclude libcoqrun.a only when it is installed (this appears to be +# only for the native compile case) + %files %defattr(-,root,root,-) -%doc CHANGES COMPATIBILITY COPYRIGHT CREDITS INSTALL KNOWN-BUGS LICENSE README +%doc CHANGES COMPATIBILITY COPYRIGHT CREDITS INSTALL LICENSE README %doc %{_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}/coq-parser -# %%if %%{opt} -# %%{_bindir}/coq-parser.opt -# %%endif -# Exclude ide files to put in a separate package +%{_bindir}/csdpcert %exclude %{_bindir}/coqide* %exclude %{coqdatadir}/ide %if %{opt} -%exclude %{coqdatadir}/*.cmxa +%exclude %{coqdatadir}/*/*.cmxa +%exclude %{coqdatadir}/*/*.cmx +%exclude %{coqdatadir}/*/*.a +%exclude %{coqdatadir}/*/*.o %endif %{tex_dir}/coq* -# We DO want to replace any such file with this name - it will only be -# for Coq, and we want to correctly reflect the set of files that -# needs to be blacklisted from prelink with this new install -%config %{prelinkconfdir}/%{prelinkfilename} %files coqide %defattr(-,root,root,-) %doc INSTALL.ide %{_bindir}/coqide* -%{_datadir}/coq/ide -# Exclude a corrupted file from the tarball -%exclude %{_datadir}/coq/ide/coq.png -# Instead include a non-corrupted icon somewhere else +%{coqdatadir}/ide %dir %{coqdatadir} -%{coqdatadir}/coq-icon.png # Is it ok to assume this is what desktop-file-install renames coqide.desktop to? %{_datadir}/applications/fedora-coqide.desktop %files doc %defattr(-,root,root,-) -%doc Coq-Library.pdf -%doc Coq-Reference-Manual.pdf -%doc Coq-Tutorial.v.pdf +%doc Coq-Library-%{version}.pdf +%doc Coq-Reference-Manual-%{version}.pdf +%doc Coq-Tutorial-%{version}.pdf %doc Coq-RecTutorial.pdf %dir %{coqdatadir} %{tutorialcodedir} @@ -332,14 +318,36 @@ rm -rf %{buildroot} %doc refman %doc stdlib - %files emacs %defattr(-,root,root,-) %{_datadir}/emacs/site-lisp/coq* %doc README.coq-emacs - %changelog +* Thu Jun 18 2009 Alan Dunn - 8.2-1 +- New upstream release +- Seems documentation license has changed or wasn't explicitly stated + before, fixed (is ok Fedora license) +- Added versioning to documentation +- Removed special OCaml, TeX logic for Fedora < 9 (no longer relevant) +- Dropped makefile patch for compiling grammar.cma (fixed in Coq 8.2) +- Dropped cmxa-install patch (fixed in Coq 8.2) +- Changed makefile-strip patch and name (not yet fixed upstream...) +- Changed check.patch -> coq-check-(version).patch, slightly changed + for 8.2 (not yet fixed upstream...) +- Dropped parser-renaming makefile-parser.patch, parser-man.patch + (fixed in Coq 8.2) +- Dropped coq-lablgtk-2.12.patch (fixed in Coq 8.2) +- Changed way source (.v) files are installed +- Stopped addition of other icon file (icon fixed in Coq 8.2) +- Bytecode executables are now "clean" (not build with custom -> don't + need to configure prelink around these) +- define -> global +- Added ExcludeArch sparc64 + +* Wed Jun 17 2009 S390x secondary arch maintainer 8.1pl4-3.1 +- ExcludeArch s390, s390x as we don't have OCaml on those archs + * Wed Mar 04 2009 Alan Dunn - 8.1pl4-3 - Minor change to cmxa-install patch instruction - Fixed to work with lablgtk 2.12 Index: import.log =================================================================== RCS file: /cvs/pkgs/rpms/coq/F-10/import.log,v retrieving revision 1.6 retrieving revision 1.7 diff -u -p -r1.6 -r1.7 --- import.log 4 Mar 2009 23:51:03 -0000 1.6 +++ import.log 20 Jun 2009 01:19:35 -0000 1.7 @@ -4,3 +4,4 @@ coq-8_1pl3-3_fc9:HEAD:coq-8.1pl3-3.fc9.s coq-8_1pl3-4_fc9:HEAD:coq-8.1pl3-4.fc9.src.rpm:1221066400 coq-8_1pl3-5_fc9:HEAD:coq-8.1pl3-5.fc9.src.rpm:1224703139 coq-8_1pl4-3_fc10:F-10:coq-8.1pl4-3.fc10.src.rpm:1236210257 +coq-8_2-1_fc10:F-10:coq-8.2-1.fc10.src.rpm:1245460414 Index: sources =================================================================== RCS file: /cvs/pkgs/rpms/coq/F-10/sources,v retrieving revision 1.3 retrieving revision 1.4 diff -u -p -r1.3 -r1.4 --- sources 4 Mar 2009 23:51:03 -0000 1.3 +++ sources 20 Jun 2009 01:19:36 -0000 1.4 @@ -1,7 +1,7 @@ -8b14a9c8f65ea5bd592901b3649346a7 Coq-Library.pdf.gz 0e3d5eac23416ec75dd59fabdcc1367c Coq-RecTutorial.pdf.gz -021c58a1f2e5d029928ffae0cc9703b0 Coq-Reference-Manual.pdf.gz -bcb4d1c4857bfdae5c22f8fc0be6853c Coq-Tutorial.v.pdf.gz -04285e3a76571db6e1d2fbe198c76120 coq-refman-html.tar.gz -17b1edf9122fd89c8b99d4e047b54fb8 coq-stdlib-html.tar.gz -8fa623538d362d8f48d78e598c43215e coq-8.1pl4.tar.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 --- check.patch DELETED --- --- cmxa-install.patch DELETED --- --- coq-lablgtk-2.12.patch DELETED --- --- makefile-parser.patch DELETED --- --- makefile-strip.patch DELETED --- --- makefile.patch DELETED --- --- parser-man.patch DELETED --- From bugzilla at redhat.com Fri Jun 26 02:00:59 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Thu, 25 Jun 2009 22:00:59 -0400 Subject: [Bug 508197] New: segfaults if run in Japanese Message-ID: 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 at redhat.com ReportedBy: petersen at redhat.com QAContact: extras-qa at fedoraproject.org CC: rjones at redhat.com, fedora-virt-maint at redhat.com, fedora-ocaml-list at 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. From bugzilla at redhat.com Fri Jun 26 20:08:48 2009 From: bugzilla at redhat.com (bugzilla at redhat.com) Date: Fri, 26 Jun 2009 16:08:48 -0400 Subject: [Bug 508197] segfaults if run in Japanese In-Reply-To: References: Message-ID: <200906262008.n5QK8min027091@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=508197 --- Comment #1 from Richard W.M. Jones 2009-06-26 16:08:47 EDT --- Thanks for this report - I will try to look at it next week. -- 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.