Bug#731218: marked as done (facile: FTBFS with ocaml 4.01.0)
Your message dated Sat, 07 Dec 2013 09:21:28 +0000
with message-id <E1VpE4m-0005du-H8@franck.debian.org>
and subject line Bug#731218: fixed in planets 0.1.13-14
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: planets
Source-Version: 0.1.13-14
We believe that the bug you reported is fixed in the latest version of
planets, 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 planets 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:17:24 +0100
Source: planets
Binary: planets
Architecture: source all
Version: 0.1.13-14
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
planets - Gravitation simulation of planetary bodies
Closes: 731218
Changes:
planets (0.1.13-14) unstable; urgency=low
.
[ Stéphane Glondu ]
* Team upload
* Fix compilation with OCaml 4.01.0 (Closes: #731218)
* Add tk-dev to Build-Depends
* Update Vcs-*
.
[ Ralf Treinen ]
* Standards-Version 3.9.5 (no change)
* Recompile with ocaml 4.01.0 (no source change)
* debian/copyright: convert to machine-readable format 1.0
Checksums-Sha1:
564b2cb26ebb2f1c31a99e897d73dbb316d48e78 2116 planets_0.1.13-14.dsc
141cba0cde5ef6e2249cad980fcceccb26d0d13f 7814 planets_0.1.13-14.debian.tar.gz
20b99427a0bfc68f6e8d89e0767224583c13e666 74692 planets_0.1.13-14_all.deb
Checksums-Sha256:
13a209a70a3514c9e429820e205b3a63d3386194dd81f09e0be7b10c4621c164 2116 planets_0.1.13-14.dsc
8911181b1d792d921a7a2adc1d5f7440449704092e3cba218ecd06e44a5db85a 7814 planets_0.1.13-14.debian.tar.gz
fcb63336cef9211717920058eb6219f764efe05ba2fda5ad192b5d055310b78e 74692 planets_0.1.13-14_all.deb
Files:
3f452f9996349bedb69ce391a7ce5630 2116 science extra planets_0.1.13-14.dsc
bb02c71c73678cda293e70b019575805 7814 science extra planets_0.1.13-14.debian.tar.gz
974e838bcf53e015b466ad43b4ef710b 74692 science extra planets_0.1.13-14_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iQIcBAEBCgAGBQJSotpZAAoJEHhT2k1JiBrT3HwQAKKv2s9Ohgn5YuXhZe7om1jC
Iclb6tnIKwNtidMyYYwrKeh6VYy7XJmGIobQl3fZ3V9kPiVv6ANW3AZSGMgr56A3
J3ZXYsuB/DSv5L+uZ8NgEvBe99lqbIb4WIT//ahE2ZqGm6eZw0z5vHeX2uTauRV1
T48+E3Sd+9vMcMcKnDhBLNzx8+zGBQZTJrsIlYzfoZMtV1IAHUVGReT+I3pd0ZyF
FvdwIvrbWfvC6EKblyCVGMX3kSGB61KapN2YKAtnZgho4DZTmlyS7WV/nTyDC80k
ODL/VTcwKmHyDZcneG9MGEdTLW2k57B9hqCyjsQQL2NYu0FkOXWU/2IyCXm8B25V
Dwo4EUPLlnpXLJ+ljsZsL62l9cWgDQtMjzgC8aLrDiy2vZd+tizqigka0Q52EL2B
/fwQDThNS9QiSZcmJX5QNYcushcA5pt5BZJOJwA/9mTUanjtLxdlXPMxMs4MUFyi
c26B64AblhUGQaIPDan8MMEJYvngLZXm3RiNPhUarbc6pe7l+fiJlIUlXtD4vekx
Bd5p7rwUTRFQDG+pLoLoOK37rXtvQqdfLQrnu8nbD7GNN4EEox8HMP+VbpKV2U4x
q42AxY0HQNRcXAK2NnVuO1iC9k0xNMA29S24UwJVyQJM/oG+ddf09+BGWY24KC7F
Ku9spv+L4EpZroYmf+qr
=C6RJ
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: