[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#593393: marked as done ("Disable Prolog interface on MIPS")

Your message dated Mon, 06 Sep 2010 18:03:41 +0000
with message-id <E1Osg2f-0008BG-6j@franck.debian.org>
and subject line Bug#593393: fixed in ppl 0.10.2-8
has caused the Debian Bug report #593393,
regarding "Disable Prolog interface on MIPS"
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
593393: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=593393
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: ftp.debian.org
Severity: normal

Hi,

I've requested the removal of swi-prolog on mips #593074 due to my
removal request of openjdk-6 on mips #591998. Please remove ppl because
all reverse depends must be removed.

Torsten

ROOM = request of openjdk maintainer

--- End Message ---
--- Begin Message --- 
Source: ppl
Source-Version: 0.10.2-8

We believe that the bug you reported is fixed in the latest version of
ppl, which is due to be installed in the Debian FTP archive:

libppl-c2_0.10.2-8_amd64.deb
  to main/p/ppl/libppl-c2_0.10.2-8_amd64.deb
libppl-doc_0.10.2-8_all.deb
  to main/p/ppl/libppl-doc_0.10.2-8_all.deb
libppl-swi_0.10.2-8_amd64.deb
  to main/p/ppl/libppl-swi_0.10.2-8_amd64.deb
libppl0.10-dev_0.10.2-8_amd64.deb
  to main/p/ppl/libppl0.10-dev_0.10.2-8_amd64.deb
libppl7_0.10.2-8_amd64.deb
  to main/p/ppl/libppl7_0.10.2-8_amd64.deb
libpwl-dev_0.10.2-8_amd64.deb
  to main/p/ppl/libpwl-dev_0.10.2-8_amd64.deb
libpwl4_0.10.2-8_amd64.deb
  to main/p/ppl/libpwl4_0.10.2-8_amd64.deb
ppl_0.10.2-8.debian.tar.gz
  to main/p/ppl/ppl_0.10.2-8.debian.tar.gz
ppl_0.10.2-8.dsc
  to main/p/ppl/ppl_0.10.2-8.dsc



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 593393@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Michael Tautschnig <mt@debian.org> (supplier of updated ppl package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 06 Sep 2010 12:31:59 +0200
Source: ppl
Binary: libppl7 libppl0.10-dev libppl-c2 libpwl4 libpwl-dev libppl-doc libppl-swi
Architecture: source amd64 all
Version: 0.10.2-8
Distribution: unstable
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 libppl-c2  - Parma Polyhedra Library (C interface)
 libppl-doc - Parma Polyhedra Library: Documentation
 libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
 libppl0.10-dev - Parma Polyhedra Library (development)
 libppl7    - Parma Polyhedra Library (runtime library)
 libpwl-dev - Parma Watchdog Library (Watchdog timers - development)
 libpwl4    - Parma Watchdog Library (Watchdog timers - runtime library)
Closes: 593393
Changes: 
 ppl (0.10.2-8) unstable; urgency=low
 .
   * Ignore testsuite failures on armel as these seem to be caused by
     miscompilation, see #593324.
   * No more swi-prolog on mips, don't build PPL Prolog interface on mips.
     Closes: #593393.
Checksums-Sha1: 
 06c9f9ec15139f72eaadb4e887dd318e2f442d04 1479 ppl_0.10.2-8.dsc
 790f7994aa0416f4d8f9053dc48bf3629a8ca4ef 318066 ppl_0.10.2-8.debian.tar.gz
 4730fc03aaca4391238c3bd86cafca7eab82b485 373994 libppl7_0.10.2-8_amd64.deb
 b951e673af9fbdad310ce12775be8f0e42b6264b 2851814 libppl0.10-dev_0.10.2-8_amd64.deb
 22150b9b8da8b0f3232fbb98f9cbb0ff6d7af0cd 1288030 libppl-c2_0.10.2-8_amd64.deb
 c578c9334ec111396d75efb1c703f4c3edebef87 19518 libpwl4_0.10.2-8_amd64.deb
 85868fd6558cb7a1d69ee4be525c0939f0077e30 26368 libpwl-dev_0.10.2-8_amd64.deb
 b226670a34191781f068f622f6780623e28e5d72 6099212 libppl-swi_0.10.2-8_amd64.deb
 5b0a68251a1763bba687919fa6041afe4efbd5f2 3621594 libppl-doc_0.10.2-8_all.deb
Checksums-Sha256: 
 1a4ef4fb605463adf366df751a955c69993d444729a1f260f2b7c520ae3dbb34 1479 ppl_0.10.2-8.dsc
 cf8297e749806d123e24f058e6a87c57c3c39c1d21200b30891baac808ecab5d 318066 ppl_0.10.2-8.debian.tar.gz
 7a15aedfa77009c183ee5d58365132bd6713c8cdcc2a2ad84efb4de4afdf6abc 373994 libppl7_0.10.2-8_amd64.deb
 dd64dd7159d13b078f5d954f3e4187d5abba7252aea19f9fb14c01d2f5975cc7 2851814 libppl0.10-dev_0.10.2-8_amd64.deb
 4f18f49ece46aafa26fc83e962566b80650c88a7b9477ad2b17df9c8684626ce 1288030 libppl-c2_0.10.2-8_amd64.deb
 24ef172d7f289b83ea654ddc163787de6ed2821834fda24e6df98e648dd238b2 19518 libpwl4_0.10.2-8_amd64.deb
 e0fb6f2b7698e4d583193c9017421a26af35001b679d553ec9311a7c2c322d30 26368 libpwl-dev_0.10.2-8_amd64.deb
 2cfc83aeae7c1d96d9e627be861bd41f2b9b70b639edcdbb801e0fe38b32b160 6099212 libppl-swi_0.10.2-8_amd64.deb
 0ed4f77d46e7cc69c7bfa4cb3f5bf65c646ac7d0e096dba1655e4bc33eefa740 3621594 libppl-doc_0.10.2-8_all.deb
Files: 
 955216d60b619389d4f981c79e81c23a 1479 libs optional ppl_0.10.2-8.dsc
 73f647e5077e3feae7f660af1f760d99 318066 libs optional ppl_0.10.2-8.debian.tar.gz
 20d0cf45f06d810696e57ef72b1f9401 373994 libs optional libppl7_0.10.2-8_amd64.deb
 50aac3cd878887b4ca812eb6b6b24c80 2851814 libdevel optional libppl0.10-dev_0.10.2-8_amd64.deb
 6e113aa587c596a244a895aa8827d38d 1288030 libs optional libppl-c2_0.10.2-8_amd64.deb
 17dcdfeaed8a67e64ebf2d5f7c9bdda8 19518 libs optional libpwl4_0.10.2-8_amd64.deb
 79727d0ecc37aa5e34099246eab82a69 26368 libdevel optional libpwl-dev_0.10.2-8_amd64.deb
 1d472be8a641694871073b629837715f 6099212 libs optional libppl-swi_0.10.2-8_amd64.deb
 8a130cb0eb6c94516780c7ff298c2068 3621594 doc optional libppl-doc_0.10.2-8_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAkyFKZgACgkQvx6dH3bVKsQ8cgCgsLrAF1UaC+w6dwED4EnuGXIR
a2sAmgMu1VVm249RN1d3rmbtex0Tvr1C
=uehp
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: