Debian Bug report logs - #878980
belenios FTBFS with OCaml 4.05.0

Toggle useless messages

Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: Adrian Bunk <bunk@debian.org>

To: Debian Bug Tracking System <submit@bugs.debian.org>

Subject: belenios FTBFS with OCaml 4.05.0

Date: Wed, 18 Oct 2017 12:41:14 +0300

Source: belenios
Version: 1.4+dfsg-2
Severity: serious

https://buildd.debian.org/status/package.php?p=belenios&suite=sid

...
ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/election.cmx src/lib/election.ml
+ ocamlfind ocamlopt -c -g -annot -safe-string -w A-4-6-29-44-48 -package uuidm -package atdgen -package yojson -I src/lib -o src/lib/election.cmx src/lib/election.ml
File "src/lib/election.ml", line 1:
Error: The implementation src/lib/election.ml
       does not match the interface src/lib/election.cmi:
       ...
       At position module MakeSimpleMonad(G) : <here>
       Values do not match:
         val fold : (unit -> '_a -> 'b -> unit -> 'b) -> 'b -> unit -> 'b
       is not included in
         val fold : (unit -> elt -> 'a -> 'a t) -> 'a -> 'a t
       File "src/lib/election.ml", line 55, characters 6-10:
         Actual declaration
Command exited with code 2.
Makefile:2: recipe for target 'minimal' failed
make[2]: *** [minimal] Error 10

Message #10 received at 878980@bugs.debian.org (full text, mbox, reply):

From: Andreas Stührk <andy@hammerhartes.de>

To: 878980@bugs.debian.org

Cc: control@bugs.debian.org

Subject: Patch

Date: Sat, 21 Oct 2017 21:18:49 +0200

[Message part 1 (text/plain, inline)]

tags 878980 + patch
thanks

Attached is a patch that fixes the FTBFS. It's based on upstream
commit 7c6071f6b15a162f04bfa367eff8e88a64afce89.

[Message part 2 (text/html, inline)]

[fix_build_for_ocaml_4.05.patch (text/x-patch, attachment)]

Message #17 received at 878980-close@bugs.debian.org (full text, mbox, reply):

From: Stéphane Glondu <glondu@debian.org>

To: 878980-close@bugs.debian.org

Subject: Bug#878980: fixed in belenios 1.6+dfsg-1

Date: Wed, 13 Jun 2018 14:39:30 +0000

Source: belenios
Source-Version: 1.6+dfsg-1

We believe that the bug you reported is fixed in the latest version of
belenios, 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 878980@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 belenios 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: Wed, 13 Jun 2018 15:36:06 +0200
Source: belenios
Binary: belenios-tool
Architecture: source amd64
Version: 1.6+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
 belenios-tool - verifiable voting system (command-line tool)
Closes: 878980
Changes:
 belenios (1.6+dfsg-1) unstable; urgency=medium
 .
   * New upstream release
     - Fix compilation with OCaml 4.05.0 (Closes: #878980)
   * Update Vcs-* to point to salsa
   * Set pristine-tar filter in debian/gbp.conf
   * Bump Standards-Version to 4.1.4
   * Fix Homepage URL
Checksums-Sha1:
 f2859ce4677cf1216ca750b7c5dbb436ec92daba 1882 belenios_1.6+dfsg-1.dsc
 a4b9fc421a47ff88a9fc933680e1eca38116c584 172381 belenios_1.6+dfsg.orig.tar.gz
 54d1bd02a9dee0ef1582cb088fc5957ed60136c5 25620 belenios_1.6+dfsg-1.debian.tar.xz
 bd984359334f3fd7e9f0a8eed334d08e2bf87fed 163452 belenios-tool-dbgsym_1.6+dfsg-1_amd64.deb
 aafdd30c41dc30dd8e84f7c8a9bceec23ab329dd 1045688 belenios-tool_1.6+dfsg-1_amd64.deb
 ba050fc8d1e56c401660d98f8a02988d32e356a5 9898 belenios_1.6+dfsg-1_amd64.buildinfo
Checksums-Sha256:
 401005f834d6e9573eae7c221190c0af74f53c5d047a8c39ae6b66bb916c3c8e 1882 belenios_1.6+dfsg-1.dsc
 257b6f82f2ca667f99b03a0a78ca8d90eaedf50af86297ae06caaaf2cf3c41c5 172381 belenios_1.6+dfsg.orig.tar.gz
 a042d5a9d71c92eb1e16bc87a3135f043342415b80fb6959273d1444aec5c249 25620 belenios_1.6+dfsg-1.debian.tar.xz
 dea0b672c92e90a137c8c93f994405b6ae0410defc1091d02780a9c6b9419bfb 163452 belenios-tool-dbgsym_1.6+dfsg-1_amd64.deb
 08bfc276721e7d17d097cc1f1c1f5128dbec24df18f81b4abe88dccf10c0e6ab 1045688 belenios-tool_1.6+dfsg-1_amd64.deb
 6ab118fe1d2b3693c9e5dbc5e556b10643e388f0d35317ff7e82c73f9d294819 9898 belenios_1.6+dfsg-1_amd64.buildinfo
Files:
 5d9d96bf422ac4f7b56a4a4b8052d98b 1882 misc optional belenios_1.6+dfsg-1.dsc
 7042dc8f03fce9a40f02204e1dd3bcdf 172381 misc optional belenios_1.6+dfsg.orig.tar.gz
 9ba54746dc122a3a90a1433908cb742c 25620 misc optional belenios_1.6+dfsg-1.debian.tar.xz
 41191ecb27caa4c18a3c9ca79984ca47 163452 debug optional belenios-tool-dbgsym_1.6+dfsg-1_amd64.deb
 8fae7e1f198b674267a2764056fa264b 1045688 misc optional belenios-tool_1.6+dfsg-1_amd64.deb
 52728b8d43226a9f90c7869ff8653e93 9898 misc optional belenios_1.6+dfsg-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAlshIp8ACgkQIbju8bGJ
MIFkEQf/XtIL16U638pv5OAz1U1X0wOOu5Cl8/kX65FYns+/PrthhaJkwE7h07GB
ao8vXmdJhJkvBuTt0wyDR3AUCdjqlzgKnW6AlBmERV+Iues3b39m/l21SHSGmAL8
DK+RIHQLn5ZxU7o3PebcGRB96KJZygX1+FNjeawkIoxNCAIUNPOxG/bRlL72fqlS
Xr1fjVkL3fR4/hLt+I14M3b8NIh4yhrwWqZoa4cWHpbKvSLioVUBLHRUHmlk0Ron
OyqHj3glZpDtj5RNchUuEDQTfIsjvBLaBGsrhoIC7gbwu43NdDecLAENQF/p+24r
FuxAZpJKphw1TtYqnSP8J486a0c2zg==
=lvsO
-----END PGP SIGNATURE-----

Send a report that this bug log contains spam.