[PPL-devel] [Fwd: Package: ppl-0.10-6.fc11 Tag: dist-f11 Status: complete Built by: bagnara]

[Roberto Bagnara]

-------- Original Message --------
Subject: Package: ppl-0.10-6.fc11 Tag: dist-f11 Status: complete Built by: bagnara
Date: Wed,  4 Feb 2009 08:18:36 +0000 (UTC)
From: Koji Build System <buildsys at fedoraproject.org>
To: mikeb at fedoraproject.org, jkeating at fedoraproject.org,        notting at fedoraproject.org, bagnara at fedoraproject.org,        katzj at fedoraproject.org

Package: ppl-0.10-6.fc11
Tag: dist-f11
Status: complete
Built by: bagnara
ID: 81467
Started: Wed, 04 Feb 2009 07:37:32 UTC
Finished: Wed, 04 Feb 2009 08:16:56 UTC
Changelog:
* Wed Feb 04 2009 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-6
- Better workaround for the bug affecting PPL 0.10 on big-endian
   architectures.

* Tue Feb 03 2009 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-5
- Work around the bug affecting PPL 0.10 on big-endian architectures.

* Fri Dec 05 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-4
- Added `%dir %{_datadir}/doc/pwl' to the `%files' section
   of the `ppl-pwl' package.



SRPMS:
   ppl-0.10-6.fc11.src.rpm

Closed tasks:
-------------

Task 1103148 on x86-7.fedora.phx.redhat.com
Task Type: buildSRPMFromSCM (/cvs/pkgs:rpms/ppl/devel:ppl-0_10-6_fc11)
logs:
   http://koji.fedoraproject.org/koji/getfile?taskID=1103148&name=srpm.log

Task 1103149 on ppc4.fedora.phx.redhat.com
Task Type: buildArch (ppl-0.10-6.fc11.src.rpm, ppc)
logs:
   http://koji.fedoraproject.org/koji/getfile?taskID=1103149&name=build.log
   http://koji.fedoraproject.org/koji/getfile?taskID=1103149&name=root.log
   http://koji.fedoraproject.org/koji/getfile?taskID=1103149&name=state.log
rpms:
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-debuginfo-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-devel-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-docs-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-gprolog-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-gprolog-static-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-java-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-java-javadoc-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-pwl-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-pwl-devel-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-pwl-docs-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-pwl-static-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-static-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-swiprolog-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-swiprolog-static-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-utils-0.10-6.fc11.ppc.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc/ppl-yap-0.10-6.fc11.ppc.rpm

Task 1103150 on x86-7.fedora.phx.redhat.com
Task Type: buildArch (ppl-0.10-6.fc11.src.rpm, x86_64)
logs:
   http://koji.fedoraproject.org/koji/getfile?taskID=1103150&name=build.log
   http://koji.fedoraproject.org/koji/getfile?taskID=1103150&name=root.log
   http://koji.fedoraproject.org/koji/getfile?taskID=1103150&name=state.log
rpms:
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-debuginfo-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-devel-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-docs-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-gprolog-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-gprolog-static-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-java-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-java-javadoc-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-pwl-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-pwl-devel-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-pwl-docs-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-pwl-static-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-static-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-swiprolog-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-swiprolog-static-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-utils-0.10-6.fc11.x86_64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/x86_64/ppl-yap-0.10-6.fc11.x86_64.rpm

Task 1103151 on x86-2.fedora.phx.redhat.com
Task Type: buildArch (ppl-0.10-6.fc11.src.rpm, i386)
logs:
   http://koji.fedoraproject.org/koji/getfile?taskID=1103151&name=build.log
   http://koji.fedoraproject.org/koji/getfile?taskID=1103151&name=root.log
   http://koji.fedoraproject.org/koji/getfile?taskID=1103151&name=state.log
rpms:
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-debuginfo-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-devel-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-docs-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-gprolog-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-gprolog-static-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-java-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-java-javadoc-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-pwl-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-pwl-devel-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-pwl-docs-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-pwl-static-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-static-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-swiprolog-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-swiprolog-static-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-utils-0.10-6.fc11.i386.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/i386/ppl-yap-0.10-6.fc11.i386.rpm

Task 1103152 on ppc7.fedora.phx.redhat.com
Task Type: buildArch (ppl-0.10-6.fc11.src.rpm, ppc64)
logs:
   http://koji.fedoraproject.org/koji/getfile?taskID=1103152&name=build.log
   http://koji.fedoraproject.org/koji/getfile?taskID=1103152&name=root.log
   http://koji.fedoraproject.org/koji/getfile?taskID=1103152&name=state.log
rpms:
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc64/ppl-0.10-6.fc11.ppc64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc64/ppl-debuginfo-0.10-6.fc11.ppc64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc64/ppl-devel-0.10-6.fc11.ppc64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc64/ppl-docs-0.10-6.fc11.ppc64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc64/ppl-java-0.10-6.fc11.ppc64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc64/ppl-java-javadoc-0.10-6.fc11.ppc64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc64/ppl-pwl-0.10-6.fc11.ppc64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc64/ppl-pwl-devel-0.10-6.fc11.ppc64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc64/ppl-pwl-docs-0.10-6.fc11.ppc64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc64/ppl-pwl-static-0.10-6.fc11.ppc64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc64/ppl-static-0.10-6.fc11.ppc64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc64/ppl-swiprolog-0.10-6.fc11.ppc64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc64/ppl-swiprolog-static-0.10-6.fc11.ppc64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc64/ppl-utils-0.10-6.fc11.ppc64.rpm
  http://kojipkgs.fedoraproject.org/packages/ppl/0.10/6.fc11/ppc64/ppl-yap-0.10-6.fc11.ppc64.rpm

Task 1103219 on x86-6.fedora.phx.redhat.com
Task Type: tagBuild (noarch)



Task Info: http://koji.fedoraproject.org/koji/taskinfo?taskID=1103147
Build Info: http://koji.fedoraproject.org/koji/buildinfo?buildID=81467


-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it