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

Bug#813063: marked as done (coq-doc: FTBFS in sid: File "kernel/univ.ml", line 229, characters 0-2: Error: This comment contains an unterminated string literal)

Your message dated Thu, 11 Feb 2016 22:23:10 +0000
with message-id <E1aTzdm-0007r6-SJ@franck.debian.org>
and subject line Bug#813063: fixed in coq-doc 8.4pl4-2
has caused the Debian Bug report #813063,
regarding coq-doc: FTBFS in sid: File "kernel/univ.ml", line 229, characters 0-2: Error: This comment contains an unterminated string literal
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.)


-- 
813063: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=813063
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: coq-doc
Version: 8.4pl4-1
Severity: serious
Tags: sid stretch
Justification: fails to build from source

Hi,

coq-doc FTBFS in sid and stretch. (It builds fine in jessie.)

[...]
OCAMLC    kernel/univ.mli
OCAMLC    kernel/univ.ml
File "kernel/univ.ml", line 229, characters 0-2:
Error: This comment contains an unterminated string literal
File "kernel/univ.ml", line 229, characters 17-20:
Error: String literal begins here
Makefile.build:853: recipe for target 'kernel/univ.cmo' failed
make[3]: *** [kernel/univ.cmo] Error 2
make[3]: Leaving directory '/build/coq-doc-8.4pl4'
Makefile:139: recipe for target 'refman' failed
make[2]: *** [refman] Error 2
make[2]: Leaving directory '/build/coq-doc-8.4pl4'
debian/rules:21: recipe for target 'override_dh_auto_build' failed
make[1]: *** [override_dh_auto_build] Error 2
make[1]: Leaving directory '/build/coq-doc-8.4pl4'
debian/rules:10: recipe for target 'binary' failed
make: *** [binary] Error 2
dpkg-buildpackage: error: fakeroot debian/rules binary gave error exit status 2


Cheers,

Andreas

--- End Message ---
--- Begin Message --- 
Source: coq-doc
Source-Version: 8.4pl4-2

We believe that the bug you reported is fixed in the latest version of
coq-doc, 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 813063@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated coq-doc 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: SHA256

Format: 1.8
Date: Thu, 11 Feb 2016 22:26:54 +0100
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.4pl4-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
 coq-doc    - documentation for Coq
 coq-doc-html - documentation for Coq in html format
 coq-doc-pdf - documentation for Coq in pdf format
Closes: 813063
Changes:
 coq-doc (8.4pl4-2) unstable; urgency=medium
 .
   * Team upload
   * patch unterminated_string_literal: fix FTBFS with ocaml 4.02.3
     (closes: #813063)
Checksums-Sha1:
 8214e7bec342a42bfd605c0d7c48086453bd0f8f 2243 coq-doc_8.4pl4-2.dsc
 47f933d45ba7140aa1b9117ff14d240c37c65de7 8404 coq-doc_8.4pl4-2.debian.tar.xz
 6bf752fae086fd79af57d3c2cd3dc8017cd66cf5 473720 coq-doc-html_8.4pl4-2_all.deb
 4350756c8063e8776a8348e384158259abef20c0 2467952 coq-doc-pdf_8.4pl4-2_all.deb
 6d1cfbd1ee5b4b5096c5b6eccf1a150d3a14002a 50462 coq-doc_8.4pl4-2_all.deb
Checksums-Sha256:
 f201ed002ffb53915d6964e545ca3dda4937ff2b87a0e3f4e5a68b60c4d568e5 2243 coq-doc_8.4pl4-2.dsc
 061c31efe52366686526fc1d9636f584e5505a6bc4c93910965311b3830c7d28 8404 coq-doc_8.4pl4-2.debian.tar.xz
 b624112ba962da667950a36316af845f2a5fd205617941e772a238a538a6a89c 473720 coq-doc-html_8.4pl4-2_all.deb
 60fc068137c9b5da3b5af47c4e22c71a0d5098b2646f0873f2828c656a213dec 2467952 coq-doc-pdf_8.4pl4-2_all.deb
 381eb08d65ea44f0378ab81403996212c096e1e6ec41eadeaf5cf72542eb739f 50462 coq-doc_8.4pl4-2_all.deb
Files:
 4cddcfff171cc5ee808c4be2bbf862e2 2243 non-free/doc optional coq-doc_8.4pl4-2.dsc
 4c0a4cee245c8783497a9bcc5ba06d9a 8404 non-free/doc optional coq-doc_8.4pl4-2.debian.tar.xz
 512439fd435bde2a002b0788b053b4a0 473720 non-free/doc optional coq-doc-html_8.4pl4-2_all.deb
 21871c24e455eee22a6dcfe5628532eb 2467952 non-free/doc optional coq-doc-pdf_8.4pl4-2_all.deb
 d277e14458467f623aad99b7fbae665c 50462 non-free/doc optional coq-doc_8.4pl4-2_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWvQO3AAoJEHRcR2bUys3/wAIP/0CdCy79zu1Xm/kDxlYnstFh
bZmth/j4nQqWZcjSSBjZTtVyC495GtBlq9+eA9nam4v6pByr4P2Fws3KQ/vSLkDV
F93abc3G45z0NIqTTsMVPKit+EcnI8eTakwypjyv/xso0KD3ym4gTRV9PIn7kPbx
i8mIYAxjFv/WunCxgpbw3rQie9Du08nBX9DGceSOTUdtWp+6oQmkqT0sTCQG9b2h
Qxqqh0qsFxOwUcSd0ASfN6OaLGYALVdciiW3Cj8kqAVk2bAymhcDBC6pW8zBHQzy
77wZPS3U2q/j+PjqgyJoIzH77i+2m3AsIJ3CZ2Ew0EOscnTGsDnim56UtWb74QoI
OlMxxao34Ozb4eGIheVOe7UXVkrUU6Us5ua4bsjz4WnOSH6jsDdifMUZH4gotcwI
tGjrx4OIfAy9N1Wc+unU2Y1M5V9lOwQ3/hzet5RZCYLK9vPjPdcvhJ1AI+K15xcj
uTqUAEdfhzJzQ1H4QT6X4PI03cop0gHTtOKz51VqtK7E9MEePuCR1NpzeOQ7+TZi
jmZ4DdTWYmckgHLcC74V+3PacbBOnuLzHzBKBDATlLXVRColdOH++RCWKZeD4XFi
ynZ807TjIfCOc2EMVwgb4A0ka6hIGK/HA9eCEt6CuE6WsHKvkhguzc3bh6JIIipG
pElMIrX+WDFHjE1FpCyV
=oT+Z
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: