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

Bug#751355: marked as done ($projectnumber expands . to contain spurious \+)



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 ---
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,
Michael

Attachment: pgp25K4pzBYYq.pgp
Description: PGP signature


--- End Message ---
--- Begin Message ---
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 ---

Reply to: