[PPL-devel] [Fwd: Package: ppl-0.10-6.fc11 Tag: dist-f11 Status: complete Built by: bagnara]
Roberto Bagnara
bagnara at cs.unipr.it
Thu Feb 5 07:51:11 CET 2009
-------- 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
More information about the PPL-devel
mailing list