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

Bug#666594: marked as done (matita: FTBFS: Error: Unbound constructor Stdpp.Exc_located)

Your message dated Sun, 01 Apr 2012 11:06:01 +0000
with message-id <E1SEIbh-00050K-1B@franck.debian.org>
and subject line Bug#666594: fixed in matita 0.5.8-4
has caused the Debian Bug report #666594,
regarding matita: FTBFS: Error: Unbound constructor Stdpp.Exc_located
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.)


-- 
666594: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=666594
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: matita
Version: 0.5.8-3
Severity: serious
Tags: wheezy sid
User: debian-qa@lists.debian.org
Usertags: qa-ftbfs-20120331 qa-ftbfs
Justification: FTBFS on amd64

Hi,

During a rebuild of all packages in sid, your package failed to build on
amd64.

Relevant part:
> make[3]: Entering directory `/«PKGBUILDDIR»/components/content_pres'
>   OCAMLC renderingAttrs.mli
>   OCAMLOPT renderingAttrs.ml
>   OCAMLC cicNotationLexer.mli
>   OCAMLOPT cicNotationLexer.ml
>   OCAMLC cicNotationParser.mli
>   OCAMLOPT cicNotationParser.ml
> Characters 29868-29910:
> Error: Unbound constructor Stdpp.Exc_located
> make[3]: *** [cicNotationParser.cmx] Error 2

The full build log is available from:
   http://people.debian.org/~lucas/logs/2012/03/31/matita_0.5.8-3_unstable.log

A list of current common problems and possible solutions is available at 
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!

About the archive rebuild: The rebuild was done on about 50 AMD64 nodes
of the Grid'5000 platform, using a clean chroot.  Internet was not
accessible from the build systems.

--- End Message ---
--- Begin Message --- 
Source: matita
Source-Version: 0.5.8-4

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

matita-doc_0.5.8-4_all.deb
  to main/m/matita/matita-doc_0.5.8-4_all.deb
matita_0.5.8-4.debian.tar.gz
  to main/m/matita/matita_0.5.8-4.debian.tar.gz
matita_0.5.8-4.dsc
  to main/m/matita/matita_0.5.8-4.dsc
matita_0.5.8-4_amd64.deb
  to main/m/matita/matita_0.5.8-4_amd64.deb



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 666594@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated matita 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: SHA512

Format: 1.8
Date: Sun, 01 Apr 2012 12:15:20 +0200
Source: matita
Binary: matita matita-doc
Architecture: source all amd64
Version: 0.5.8-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description: 
 matita     - interactive theorem prover
 matita-doc - user manual of the Matita interactive theorem prover
Closes: 666594
Changes: 
 matita (0.5.8-4) unstable; urgency=medium
 .
   * Team upload
   * Fix FTBFS with camlp5 6.05 (Closes: #666594)
Checksums-Sha1: 
 d072630ff7b0ec886c81d8f1fd6737e9572c6928 2396 matita_0.5.8-4.dsc
 1913b12538ce3efed814cf1efed20aa2e6fd0c24 7084 matita_0.5.8-4.debian.tar.gz
 98ffbacb02074184f7f414b24cbfc3682f89b6ed 1231412 matita-doc_0.5.8-4_all.deb
 8b720b511ef1814b9ec3ddf6e87b332590ec63ed 7065092 matita_0.5.8-4_amd64.deb
Checksums-Sha256: 
 3efdde22ce4414f31ba84cd66d7287a4ac09738ed6b950d9935c7e2cc8bde785 2396 matita_0.5.8-4.dsc
 626e471b320b152cd1665600edc2d7d94a34da6ff65f4485001db2161ebd3ba6 7084 matita_0.5.8-4.debian.tar.gz
 b5863bec4fec963521490298a9d76e0f28509377b308dd082ffbeaa6b7897ba4 1231412 matita-doc_0.5.8-4_all.deb
 a7e716fdcb44b339a940cc22771df3a72a1c5f0c8f6b1fc1ba941b60f5a47d41 7065092 matita_0.5.8-4_amd64.deb
Files: 
 29039f8eb0be1ec811d8cd92e6b5ab93 2396 math optional matita_0.5.8-4.dsc
 866d1adb04e7853494e6ede4975d1ada 7084 math optional matita_0.5.8-4.debian.tar.gz
 0d867c867e8a469d3a65e2c33fad1be0 1231412 doc optional matita-doc_0.5.8-4_all.deb
 cbb8f91e8a49aa1b2879b59f7eea3397 7065092 math optional matita_0.5.8-4_amd64.deb

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

iQIcBAEBCgAGBQJPeDJaAAoJEHhT2k1JiBrTxOcP/2+LKzk+r7R5ywWYgkpBBxH0
HUuxcnnmWk6N6iJs+BrjtdGw7GxXBBBUrNWC6kRbVU7FNdQddfqHk0fOQGH0IV/3
XlcmOQMwEoK5bUf5JU70MOGp8SIUNRPfctldM/CslP0nD73ailTlpwbPRseX8NVB
TXNTXhlVFRpIGjlyR0AFzXgyFNQW6u2pJKSkiBX6MTHFZaAPEMIgUdh6uvu51Prr
77r01Dcx8K8p7IJue/1f/PuFyxiNgzth+U6ladcmhP+1FJQt9G7T+dd8fyirl7WA
gyfLjNQe3wRWlFONnA/F582YZuM4vsq0OVejYcMBjKhTgioFcA0rFXF9/zkVSUil
MiFPYYzf3DkUad3DeR0acYyq97joUamvdMxe4PtFJfpsDFG+tmFtHcsavX5scOO5
GVRn0b1xDnrlC8PzWO01PR0DmNW/qqt/XDGOvwsOkxiZFQyUfmI50eWsatcVGewt
jOI51+vqPK3OFhu5cLAzt+Ne9bMpU+htIll25GCrWzZsIv3yWfh//1nZep16zm1p
R21BbL62SrC3plRFKlABP9Q0WcKR3HgdhyTz1Xw0y/B5DwAwP7DRCWLcfVye0Xdy
RYJBvPM218GiM6vQfv8v1GMYkSK73sg0SeDfExQ7sUEFeB4ttxg0CfxuGukIWD7B
z8B5bUhumQVxVqlflpbW
=x6we
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: