Bug#731218: marked as done (facile: FTBFS with ocaml 4.01.0)
Your message dated Sat, 07 Dec 2013 09:20:18 +0000
with message-id <E1VpE3e-00051z-HK@franck.debian.org>
and subject line Bug#731218: fixed in facile 1.1-9
has caused the Debian Bug report #731218,
regarding facile: FTBFS with ocaml 4.01.0
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.)
--
731218: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731218
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: facile
Version: 1.1-8
Severity: serious
Tags: jessie sid
Control: block 718767 with -1
Hi,
facile FTBFS when binNMUed against ocaml 4.01.0.
>From the amd64 build log:
> File "fcl_data.ml", line 1:
> Error: The implementation fcl_data.ml
> does not match the interface fcl_data.cmi:
> ...
> In module Hashtbl:
> Values do not match:
> val create : ?random:bool -> int -> ('a, 'b) Hashtbl.t
> is not included in
> val create : int -> ('a, 'b) t
> File "fcl_data.ml", line 19, characters 6-12: Actual declaration
> make[2]: *** [fcl_data.cmo] Error 2
> make[2]: Leaving directory `/«PKGBUILDDIR»/src'
> make[1]: *** [compile] Error 2
> make[1]: Leaving directory `/«PKGBUILDDIR»'
> make: *** [debian/stamp-makefile-build] Error 2
Full build logs available via:
https://buildd.debian.org/status/package.php?p=facile&suite=sid
Cheers,
--
Stéphane
--- End Message ---
--- Begin Message ---
Source: facile
Source-Version: 1.1-9
We believe that the bug you reported is fixed in the latest version of
facile, 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 731218@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 facile 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: SHA512
Format: 1.8
Date: Sat, 07 Dec 2013 09:26:26 +0100
Source: facile
Binary: libfacile-ocaml-dev
Architecture: source amd64
Version: 1.1-9
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
libfacile-ocaml-dev - functional constraint library implemented in Objective Caml
Closes: 731218
Changes:
facile (1.1-9) unstable; urgency=low
.
[ Stéphane Glondu ]
* Team upload
* Fix compilation with OCaml 4.01.0 (Closes: #731218)
* Remove myself from Uploaders
* Update Vcs-*
.
[ Mehdi Dogguy ]
* Remove myself from Uploaders.
Checksums-Sha1:
f18983be39dfc0e964f98a07f01373f7759cb724 1939 facile_1.1-9.dsc
b4590fcaef95719900a8db3576ccc1fd91152de0 6391 facile_1.1-9.debian.tar.gz
0005a418c29860a62fc1aaf98256d47eea2b7483 555676 libfacile-ocaml-dev_1.1-9_amd64.deb
Checksums-Sha256:
759810ac7c37c3a96e2b58299ef63073c4672a9e528f3f3780319671119ec4ff 1939 facile_1.1-9.dsc
9b1989b6b076e8cb5caa909dbcbb0950026b64fc93b650a32d16a8ac5b49fdc9 6391 facile_1.1-9.debian.tar.gz
b4a5754494c7d15d5f37ceb104656611097779da377112b65f0522971b545560 555676 libfacile-ocaml-dev_1.1-9_amd64.deb
Files:
744d711f7b0e06547941590a39fc2b2e 1939 ocaml optional facile_1.1-9.dsc
fe64e27dc6a377dd804f3ae2e09ee832 6391 ocaml optional facile_1.1-9.debian.tar.gz
88c8163dd2a1166dd5bfa4641f9d4ea2 555676 ocaml optional libfacile-ocaml-dev_1.1-9_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iQIcBAEBCgAGBQJSot0cAAoJEHhT2k1JiBrTHIkP/1vlp5IqBbF88nRirn5rkNG3
8u1k8xAUyFCpX0pRZ1nhaICsP4LN3q+ojjsIr2SzBsyPuUtxgLSGNFzfFScwffBq
rsA/jXXERskFCGYDYNcVyG6qMhwDKv1Y4G8gOtlF09GoUT6zQs2MpS/79xloYbgd
5QO8mi5i/pGkPI9ZShASyiHZjzI64IrgQYHx3yVSmLgRh2T73a62jpF5waj1of2w
fb1yOj2ha/8AXx8fYJxxgE2T+3pdSX/fPDZcsIyKdxReUJ7ipHqy5trWq/d+4Mdg
im5YSRod/Hfoie7CN8J8ZTe7ZN0fyysXVm/KImS4MVHfXFnU7NDaK9sbNOQgv1d2
aRXJmgKJGBVMRJlpaXkjaC42bKchIlBTeTKOA2i1UbrCaZs7FKUIZIPKcM66nsV0
TsCSIjM0+vXIKTavv+sf/ho2ndGik5zTM3liYy/47f105Tlc9+w9WCOIj2Bqyqtq
h2TxvTAz6inl/6kTfq5e38+9sdW/8ws7YZ0+k9M5DUc05k+/pCFvVErpgU9JKf3E
bSweV5BSZfZdhE3QYGK9qI8dXmN66X/6CfE9HOD8/8Oyz69CAhy5cBuJEf0TbJxA
WYCISGrKsw2UGP+8Kvk9GTOw4ofGo3BDPR0NIKKlXbGKPGiEaKM8Kw+IF+14014U
41qJL+ZA2zkAdmNnmd82
=5sPN
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: