Bug#616275: marked as done (ppl: replace doxygen and texlive-* build dependencies with doxygen-latex)
Your message dated Fri, 04 Mar 2011 10:17:31 +0000
with message-id <E1PvS4h-000234-MF@franck.debian.org>
and subject line Bug#616275: fixed in ppl 0.11.2-1
has caused the Debian Bug report #616275,
regarding ppl: replace doxygen and texlive-* build dependencies with doxygen-latex
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.)
--
616275: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=616275
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: src:ppl
Version: 0.10.2-8
Severity: minor
User: doko@debian.org
Usertag: doxygen-latex
The package build-depends on doxygen and one or more of the
texlive-* packages, likely it is building some latex/pdf docs
using a doxygen.sty generated by doxygen. The doxygen.sty
generated by doxygen-1.7.3 now depends on even more macros,
so instead of adding more texlive-* dependencies to doxygen,
or adding the texlive-* packages to the build dependencies of
each source package, a new doxygen-latex package was introduced,
depending on all required packages used by doxygen.sty.
.
If the package builds such documentation, please build-depend
on doxygen-latex. If not, please close the report as invalid.
--- End Message ---
--- Begin Message ---
Source: ppl
Source-Version: 0.11.2-1
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-c4_0.11.2-1_amd64.deb
to main/p/ppl/libppl-c4_0.11.2-1_amd64.deb
libppl-doc_0.11.2-1_all.deb
to main/p/ppl/libppl-doc_0.11.2-1_all.deb
libppl-swi_0.11.2-1_amd64.deb
to main/p/ppl/libppl-swi_0.11.2-1_amd64.deb
libppl0.11-dev_0.11.2-1_amd64.deb
to main/p/ppl/libppl0.11-dev_0.11.2-1_amd64.deb
libppl9_0.11.2-1_amd64.deb
to main/p/ppl/libppl9_0.11.2-1_amd64.deb
libpwl-dev_0.11.2-1_amd64.deb
to main/p/ppl/libpwl-dev_0.11.2-1_amd64.deb
libpwl5_0.11.2-1_amd64.deb
to main/p/ppl/libpwl5_0.11.2-1_amd64.deb
ppl_0.11.2-1.debian.tar.gz
to main/p/ppl/ppl_0.11.2-1.debian.tar.gz
ppl_0.11.2-1.dsc
to main/p/ppl/ppl_0.11.2-1.dsc
ppl_0.11.2.orig.tar.bz2
to main/p/ppl/ppl_0.11.2.orig.tar.bz2
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 616275@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: Thu, 03 Mar 2011 12:50:57 +0100
Source: ppl
Binary: libppl9 libppl0.11-dev libppl-c4 libpwl5 libpwl-dev libppl-doc libppl-swi
Architecture: source amd64 all
Version: 0.11.2-1
Distribution: unstable
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
libppl-c4 - Parma Polyhedra Library (C interface)
libppl-doc - Parma Polyhedra Library: Documentation
libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
libppl0.11-dev - Parma Polyhedra Library (development)
libppl9 - Parma Polyhedra Library (runtime library)
libpwl-dev - Parma Watchdog Library (Watchdog timers - development)
libpwl5 - Parma Watchdog Library (Watchdog timers - runtime library)
Closes: 616275
Changes:
ppl (0.11.2-1) unstable; urgency=low
.
* New upstream version.
* Upload to unstable.
* Build-depend on doxygen-latex instead of latex-xcolor and texlive-* stuff.
Closes: #616275.
* Refined watch file pattern.
Checksums-Sha1:
3c207355c1257543c7f5857d289288701c873a2c 1329 ppl_0.11.2-1.dsc
915f1d8a7def10e540bf2806babf94dccd15852a 12348525 ppl_0.11.2.orig.tar.bz2
49e1dbada95b88c77e5424fd9e5f12fe3938cfc5 304232 ppl_0.11.2-1.debian.tar.gz
1463f8dbbb2475a0d701d5b61ac2beb185085622 529142 libppl9_0.11.2-1_amd64.deb
19bd9c1d626b382f72d9146025ca790b470d1caf 3531256 libppl0.11-dev_0.11.2-1_amd64.deb
3c0170456b4396bd19c9ff08d2ef1f7c8152d401 1668726 libppl-c4_0.11.2-1_amd64.deb
d9c3d5e72758f38c337cc26132d6168a387f7a66 29720 libpwl5_0.11.2-1_amd64.deb
b01d46e86391a26e49bc43044501124b0617481c 39096 libpwl-dev_0.11.2-1_amd64.deb
5a0715da38de165040ee00311fbfdc36d72eb11c 7864948 libppl-swi_0.11.2-1_amd64.deb
5d374a78030e1d9c0af3d6abfa1cdbc1b3d394c8 4439718 libppl-doc_0.11.2-1_all.deb
Checksums-Sha256:
ac039ae4370af4b79d4518a14f93ac7b4d771f7fada946bedd20cd22b0074603 1329 ppl_0.11.2-1.dsc
e3fbd1c19ef44c6f020951807cdb6fc6a8153cd3a5c53b0ab9cf4c4f6e8cbbeb 12348525 ppl_0.11.2.orig.tar.bz2
8fceaf1ef3acb351498a2e7a566e8b59af8c3531377ff1fcc2cd0e614e7748a4 304232 ppl_0.11.2-1.debian.tar.gz
836f8f99e54687ecce29726ac4a2707c7c361578c615054805824f83fce31923 529142 libppl9_0.11.2-1_amd64.deb
914ed470753360912a23a58fb5962e02dad9e879a6c2efc44be7f07cc7db560e 3531256 libppl0.11-dev_0.11.2-1_amd64.deb
7fe97993692a089e32cd0eb7b750a8adf9345fe5258a7947f972026a91d2dcba 1668726 libppl-c4_0.11.2-1_amd64.deb
9ef0d894d54dae1baab834d955eded403ebda28adb9be971dd6e9348fb6c7f7c 29720 libpwl5_0.11.2-1_amd64.deb
e59ab795b4f1d892c78b0778ac049c9a6b96e13e8256bbf0880d97246fd7f71b 39096 libpwl-dev_0.11.2-1_amd64.deb
e542887f15b8b170a55007e6564e01e1842fd06fb15619c9623b89c2adb3a41d 7864948 libppl-swi_0.11.2-1_amd64.deb
c8e785bdb2f3cec93a1487946bf12706c572c109152eb0ff7e5b1d6367076265 4439718 libppl-doc_0.11.2-1_all.deb
Files:
1535bc1eafc2a5218f78a1b91675a31d 1329 libs optional ppl_0.11.2-1.dsc
c24429e6c3bc97d45976a63f40f489a1 12348525 libs optional ppl_0.11.2.orig.tar.bz2
c05c06351d606eadf09d2461782c7f1c 304232 libs optional ppl_0.11.2-1.debian.tar.gz
7aea66d52c87d8a6ff632eca80c4fe1e 529142 libs optional libppl9_0.11.2-1_amd64.deb
07ba6a42a6b4c3c13182a7b70d2de570 3531256 libdevel optional libppl0.11-dev_0.11.2-1_amd64.deb
9519d73254e34ffe21ff4bf9e61b3a84 1668726 libs optional libppl-c4_0.11.2-1_amd64.deb
ef315be8c2221706957d93fdad9b36a6 29720 libs optional libpwl5_0.11.2-1_amd64.deb
265e9466546f04135694234ab98fe68d 39096 libdevel optional libpwl-dev_0.11.2-1_amd64.deb
3769682cec80f82839fc55512cf827ec 7864948 libs optional libppl-swi_0.11.2-1_amd64.deb
ce1d9eee5725d9464061db486113b018 4439718 doc optional libppl-doc_0.11.2-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk1wud4ACgkQvx6dH3bVKsRY+wCePlxhBIQJYRz265Zyu0X1O8p3
B/IAoPYJYKOhkwuSC2lRMelYyuIyjM50
=ocpr
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: