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

Bug#868606: marked as done (hol-light FTBFS: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a)

Your message dated Thu, 03 Aug 2017 01:34:06 +0000
with message-id <E1dd51a-0001Xy-Tb@fasolo.debian.org>
and subject line Bug#868606: fixed in hol-light 20170109-2
has caused the Debian Bug report #868606,
regarding hol-light FTBFS: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a
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.)


-- 
868606: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=868606
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: hol-light
Version: 20170109-1
Severity: serious
Tags: buster sid

Some recent change in unstable make hol-light FTBFS:

https://tests.reproducible-builds.org/debian/history/hol-light.html
https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/hol-light.html

...
make
make[2]: Entering directory '/build/1st/hol-light-20170109'
if test `ocamlc -version | cut -c1-3` = "3.0" ; \
                   then ocamlc -c -pp "camlp4r pa_extend.cmo q_MLast.cmo" -I `camlp4 -where` pa_j.ml ; \
                   else if test `ocamlc -version | cut -c1-3` = "3.1" -o `ocamlc -version | cut -c1-4` = "4.00" -o `ocamlc -version | cut -c1-4` = "4.01"  -o `ocamlc -version | cut -c1-4` = "4.02" -o `ocamlc -version | cut -c1-4` = "4.03" ; \
                        then  ocamlc -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo" -I `camlp5 -where` pa_j.ml ; \
                        else ocamlc -safe-string -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo" -I `camlp5 -where` pa_j.ml ; \
                        fi \
                   fi
File "pa_j.ml", line 359, characters 46-48:
Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala
       but an expression was expected of type MLast.loc * 'a
Makefile:40: recipe for target 'pa_j.cmo' failed
make[2]: *** [pa_j.cmo] Error 2
make[2]: Leaving directory '/build/1st/hol-light-20170109'
debian/rules:31: recipe for target 'override_dh_auto_build' failed
make[1]: *** [override_dh_auto_build] Error 2

--- End Message ---
--- Begin Message --- 
Source: hol-light
Source-Version: 20170109-2

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

Debian distribution maintenance software
pp.
Hendrik Tews <hendrik@askra.de> (supplier of updated hol-light 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: Wed, 02 Aug 2017 23:05:25 +0200
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20170109-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Hendrik Tews <hendrik@askra.de>
Description:
 hol-light  - HOL Light theorem prover
Closes: 868606
Changes:
 hol-light (20170109-2) unstable; urgency=medium
 .
   [ Hendrik Tews ]
   * add patch camlp5-7 for fixing FTBFS with camlp5-7.01 (Closes: #868606)
   * update build dependency for camlp5
Checksums-Sha1:
 9d914db2a7d838e6e3426305287c221c02f8d05f 1683 hol-light_20170109-2.dsc
 9a723b5a3db825d6e1490309d9a23e83821b461b 9488 hol-light_20170109-2.debian.tar.xz
Checksums-Sha256:
 fa729b57525d5b6e58a6b63dcab6431593ea7a0b69256f83c36295c8f7d199fa 1683 hol-light_20170109-2.dsc
 f7e4d38b42637af899412b4f258f0b25b39f354022642c4c9e5fc275ca3dff7f 9488 hol-light_20170109-2.debian.tar.xz
Files:
 2fbce29add379c83ce39b8567b729982 1683 math extra hol-light_20170109-2.dsc
 b94dd963bc2c3b009a83eaeefc45ab9a 9488 math extra hol-light_20170109-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZgnoVAAoJEMrC2LnNLKX5WygIAL2/etvSrAgPtY+Q+Z08gvzI
A6G5UPKUe4SgrcsFvEljMthGssaMFmpxlIce1lfxET6EJsQ8B9xkg2pA9qsXsqv5
OmlXDs+SvuB1bOqT7O1IKKKzYop7fGKmXERNezXL2WlZtALH1pq391uZfzfT0g5R
jO0F/Jf42gk9nMstjK03j8msWYiSi8/ze2jz2kCwqcji5tYnKawfcco24I5y9QK3
1Kcro+9nhlQZriiVMCgY5DVM6RCGUnN+AMJUnnHOENRhZN914Lr9cav9cfKC8SIn
Sl4wDvtsZk48Q5XAKXdydx1/G82TC4mGj6l+mPM3vey1jT4K9HVP1gWo0ENtPlM=
=7y/D
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: