Your message dated Fri, 25 Jul 2014 18:49:39 +0000 with message-id <E1XAkYl-0002qO-F7@franck.debian.org> and subject line Bug#751355: fixed in ppl 1:1.1-3 has caused the Debian Bug report #751355, regarding $projectnumber expands . to contain spurious \+ 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.) -- 751355: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=751355 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: $projectnumber expands . to contain spurious \+
- From: Michael Tautschnig <mt@debian.org>
- Date: Thu, 12 Jun 2014 03:22:14 +0100
- Message-id: <20140612022214.GP1035@l04.Home>
Package: doxygen-latex Version: 1.8.7-2 The following is a regression from 1.8.6-2, which built ppl (where this problem occurs) just fine in the very same setup. So we have: ~/ppl-1.1/doc# grep PROJECT_NUMBER Doxyfile.user-configured-c-interface-latex PROJECT_NUMBER = 1.1 ~/ppl-1.1/doc# grep '^(version' *.tex devref-language-interface.tex:(version $projectnumber) devref.tex:(version $projectnumber) user-configured-c-interface.tex:(version $projectnumber) user-configured-prolog-interface.tex:(version $projectnumber) user-language-interface.tex:(version $projectnumber) user.tex:(version $projectnumber) Run doxygen: ~/ppl-1.1/doc# TEXINPUTS=/srv/jenkins-slave/workspace/sid-goto-cc-ppl/ppl-1.1/doc: doxygen Doxyfile.user-configured-c-interface-latex Warning: Tag `XML_SCHEMA' at line 231 of file `Doxyfile.user-configured-c-interface-latex' has become obsolete. To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u" Warning: Tag `XML_DTD' at line 232 of file `Doxyfile.user-configured-c-interface-latex' has become obsolete. To avoid this warning please remove this line from your configuration file or upgrade it using "doxygen -u" Warning: doxygen no longer ships with the FreeSans font. You may want to clear or change DOT_FONTNAME. Otherwise you run the risk that the wrong font is being used for dot generated graphs. GPL:-1: warning: multiple use of section label 'GPL', (first occurrence: /srv/jenkins-slave/workspace/sid-goto-cc-ppl/ppl-1.1/doc/gpl.dox, line 6) GFDL:-1: warning: multiple use of section label 'GFDL', (first occurrence: /srv/jenkins-slave/workspace/sid-goto-cc-ppl/ppl-1.1/doc/fdl.dox, line 6) ~/ppl-1.1/doc# grep '^(version' user-configured-c-interface.latex-dir/refman.tex (version 1.\+1) Unsurprisingly this doesn't compile: pdflatex refman [...] ! Undefined control sequence. \@title ...Program Analyzers''. } \\ (version 1.\+ 1) Best, MichaelAttachment: pgp25K4pzBYYq.pgp
Description: PGP signature
--- End Message ---
--- Begin Message ---
- To: 751355-close@bugs.debian.org
- Subject: Bug#751355: fixed in ppl 1:1.1-3
- From: Matthias Klose <doko@debian.org>
- Date: Fri, 25 Jul 2014 18:49:39 +0000
- Message-id: <E1XAkYl-0002qO-F7@franck.debian.org>
Source: ppl Source-Version: 1:1.1-3 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. 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 751355@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Matthias Klose <doko@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@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 25 Jul 2014 10:55:11 +0200 Source: ppl Binary: libppl13 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: source amd64 all Version: 1:1.1-3 Distribution: unstable Urgency: medium Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Matthias Klose <doko@debian.org> Description: libppl-c4 - Parma Polyhedra Library (C interface) libppl-dev - Parma Polyhedra Library (development) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl13 - Parma Polyhedra Library (runtime library) ppl-dev - Parma Polyhedra Library (development binaries) Closes: 751355 755959 Changes: ppl (1:1.1-3) unstable; urgency=medium . * Build using dh-autoreconf instead of autotools-dev. Closes: #755959. * Define our own \+ latex command. Closes: #751355. * Fix linking of libppl_tests. Checksums-Sha1: e1a66da8e446902b123dce902c08e4d2860b2347 1555 ppl_1.1-3.dsc 4581a9b700cab023791e61eb19b29c45eb991a7d 10552 ppl_1.1-3.debian.tar.xz 1770c86f70d22801121e9e734566ad2195451608 606056 libppl13_1.1-3_amd64.deb a54df556b864d4019ad1c3ce819b8cbc50ed0e32 2069994 libppl-dev_1.1-3_amd64.deb cf697a4ef65cd8677a78167407e95c9c56d1a223 200764 ppl-dev_1.1-3_amd64.deb 8c6295e4fc61c3e426c5794ed169a43ac3c6b5e3 961718 libppl-c4_1.1-3_amd64.deb 6498b3e7a506a3849beeea3c97ace50f601dd9a1 2637958 libppl-swi_1.1-3_amd64.deb 69fa8134b8acdf809d7e949beb7bf513db28ea84 6648058 libppl-doc_1.1-3_all.deb Checksums-Sha256: 7f58b451835c50ab1b591bfb7fcef9f49b8fffa220dabe9de85f93ffd1fe3dcd 1555 ppl_1.1-3.dsc 2c101963e6db3411f664da96d9bf52569647ca75255f7f73fa154c881235f736 10552 ppl_1.1-3.debian.tar.xz 95726982b60cf4e4acc4fccdb5400615262245aacc1ca812da8c9dca00813927 606056 libppl13_1.1-3_amd64.deb e3f101d802ef1387782d592364f5f20dd15516180618c2ff5d278621df305920 2069994 libppl-dev_1.1-3_amd64.deb cc5694827aedfea8c9005e52c275509693182ebbf86e539979239a247457df24 200764 ppl-dev_1.1-3_amd64.deb f649e3c2a22f2319d8db7f22239c7ce01388251ea86cb5f55e6bb3748196ee4b 961718 libppl-c4_1.1-3_amd64.deb 868b58b0a2289be29b01ad6ba157d1bbf6c669a7fc71ccbb18258b5643b8860d 2637958 libppl-swi_1.1-3_amd64.deb ed2832dcc96a984d08ef4c8357f946532040d5be620bb3728f1cf33349ec7e30 6648058 libppl-doc_1.1-3_all.deb Files: f5eb4989ed51a895d742240cd379ed01 606056 libs optional libppl13_1.1-3_amd64.deb 20a3a9efdb19d9e8fc7a1fdcc25eddfd 2069994 libdevel optional libppl-dev_1.1-3_amd64.deb cc671ac902d30bdf3b3cf95042ba911f 200764 devel optional ppl-dev_1.1-3_amd64.deb 049ef60aec19c842e5c9226d0b47b399 961718 libs optional libppl-c4_1.1-3_amd64.deb 2ac0234367c02aa4701b1253a466b181 2637958 libs optional libppl-swi_1.1-3_amd64.deb 1c64f3648c611ce11a132e11855d61ee 6648058 doc optional libppl-doc_1.1-3_all.deb 33b47d765a9f229f13a7ffa7c2cbf400 1555 libs optional ppl_1.1-3.dsc d4d4f8c1f92e624c3d1126cf0e0ac9a5 10552 libs optional ppl_1.1-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlPSol8ACgkQStlRaw+TLJywmACghUI7qMbKQCUdJSkVSRUN6t3V h1AAnRziiVFXs9JIp50ReR50ci/rGg+f =lObD -----END PGP SIGNATURE-----
--- End Message ---